| |
Operations Research Letters, Vol. 36, No. 5. (September 2008), pp. 628-632.
|
| |
Artificial Intelligence, Vol. 170, No. 8-9. (June 2006), pp. 686-713.
|
| |
J. ACM, Vol. 44, No. 2. (March 1997), pp. 201-236.
|
| |
In IJCAI'95: Proceedings International Joint Conference on Artificial Intelligence (1995)
|
| |
Constraints, Vol. 2, No. 1. (1 April 1997), pp. 57-61.
|
| |
|
| |
|
| |
Constraints, Vol. 4, No. 3. (1999), pp. 199-240.
|
| |
Constraints, Vol. 4, No. 1. (1 February 1999), pp. 79-89.
|
| |
In Principles and Practice of Constraint Programming (1999), pp. 480-481.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89, Detroit, Michigan, {USA} (1989), pp. 278-283.
|
| |
Over-Constrained Systems (1996), pp. 23-62.
|
| |
Commun. ACM, Vol. 33, No. 1. (January 1990), pp. 54-63.
|
| |
High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International In High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International (2002), pp. 145-150.
|
| |
Principles and Practice of Constraint Programming - CP 2006 (2006), pp. 468-483.
|
| |
Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 882-882.
|
| |
IEEE Design & Test of Computers In IEEE Design & Test of Computers, Vol. 21, No. 2. (2004), pp. 84-93.
|
| |
In DATE '99: Proceedings of the conference on Design, automation and test in Europe (1999)
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
|
| |
Advances in Artificial Intelligence (2003), pp. 994-994.
|
| |
|
| |
Theoretical Computer Science, Vol. 291, No. 2. (5 January 2003), pp. 183-201.
|
| |
In DAC '06: Proceedings of the 43rd annual conference on Design automation (2006), pp. 348-351.
|
| |
|
| |
|
| |
Constraints, Vol. 2, No. 1. (1 April 1997), pp. 51-55.
|
| |
|
| |
In Principles and Practice of Constraint Programming (May 2006)
|
| |
Artif. Intell., Vol. 41, No. 3. (January 1990), pp. 273-312.
|
| |
Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on In Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on (1995), pp. 45-48.
|
| |
IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
|
| |
In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 23, No. 2. (March 1998), pp. 53-62.
|
| |
In IJCAI (1997), pp. 1297-1303.
|
| |
|
| |
Principles and Practice of Constraint Programming – CP 2004 (2004), pp. 731-736.
|
| |
Principles and Practice of Constraint Programming – CP 2004 (2004), pp. 317-331.
|
| |
|
| |
|
| |
Artificial Intelligence, Vol. 113, No. 1-2. (1999), pp. 41-85.
|
| |
In ICCAD '99: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design (1999), pp. 584-590.
|
| |
In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence (2000), pp. 175-181.
|
| |
Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000, Singapore, September 2000. Proceedings (2000), 353.
|
| |
IBM Systems journal, Vol. 41, No. 3. (2002), pp. 386-402.
|
| |
J. ACM, Vol. 44, No. 4. (July 1997), pp. 549-566.
|
| |
Foundations of Computer Science, 2003. Proceedings. 44th Annual IEEE Symposium on (2003), pp. 562-571.
|
| |
In Eighteenth national conference on Artificial intelligence (2002), pp. 971-972.
|
| |
Constraints, Vol. 1, No. 1. (1996), pp. 139-168.
|
