Detail

Publication date: 01/01/2000

Modelling Digital Circuit Problems with Set Constraints

Authors

J. Lloyd, Francisco Azevedo, Pedro Barahona, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv, P.J. Stuckey,

Publisher Springer
Series Lecture Notes in Computer Science
Volume 1861
Publisher Springer
Series Lecture Notes in Computer Science
Volume 1861