Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Modelling Digital Circuit Problems with Set Constraints
2000
ab:cl
-
In proceedings
Francisco Azevedo, Pedro Barahona
J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv, P.J. Stuckey
Computational Logic - CL 2000
Lecture Notes in Computer Science
Springer
-
1861
414-428
-
-
-
-
Export formats
Francisco Azevedo and Pedro Barahona, Modelling Digital Circuit Problems with Set Constraints, in: J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and Luís Moniz Pereira and Y. Sagiv and P.J. Stuckey (eds), Computational Logic - CL 2000, Lecture Notes in Computer Science, Springer, Vol. 1861, Pag. 414-428, 2000.
<a href="/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98" class="author">Francisco Azevedo</a> and <a href="/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659" class="author">Pedro Barahona</a>, <b>Modelling Digital Circuit Problems with Set Constraints</b>, in: J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="editor">Luís Moniz Pereira</a>, Y. Sagiv and P.J. Stuckey (eds), <u>Computational Logic - CL 2000</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 1861, Pag. 414-428, 2000.
@inproceedings {ab:cl, author = {Francisco Azevedo and Pedro Barahona}, editor = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and Lu\'{\i}s Moniz Pereira and Y. Sagiv and P.J. Stuckey}, title = {Modelling Digital Circuit Problems with Set Constraints}, booktitle = {Computational Logic - CL 2000}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {1861}, pages = {414-428}, year = {2000}, }
Publication's urls
/publications/view.php?code=9c0896525aaea4d6c3cfb4a003366b71
/publications/view.php?code=ab:cl
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT