| |
In Proceedings of the Fifth International Symposium on Field-Programmable Gate Arrays (FPGA) (1997), pp. 119-125.
|
| |
Proceedings of the 4th International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions (30 May 2003), pp. 60-65.
|
| |
In Proceedings of the 36th Annual ACM/IEEE Design Automation Conference (DAC) (1999), pp. 317-320.
|
| |
IEEE Transactions on Computers In Transactions on Computers, Vol. 48, No. 5. (06 August 1999), pp. 506-521.
|
| |
In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI) (1997)
|
| |
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI '94) (1994)
|
| |
In Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT '05) (2005)
|
| |
|
| |
In Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP '02) (2002)
|
| |
In Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics (SAIM '04) (2004)
|
| |
Parallel Computing (1991)
|
| |
In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI '04) (2004)
|
| |
In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI '99) (1999)
|
| |
In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI '97) (1997)
|
| |
In Proceedings of the Sixteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI '03) (2003)
|
| |
In Hybrid Problems, Hybrid Solutions (1995), pp. 73-85.
|
| |
In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI '93) (1993)
|
| |
In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93) (1993)
|
| |
In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI '97) (1997)
|
| |
In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI '92) (1992)
|
| |
In Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT '05) (2005)
|
| |
Proceedings of the Nineteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI '06) (2006)
|
| |
In Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP '05) (2005)
|
| |
In Proceedings of the Fourtieth Annual Symposium on Foundations of Computer Science (FOCS '99) (1999)
|
| |
In Proceedings of the 32nd Annual Symposium on Foundations of Computer Science (FOCS '91) (1991)
|
| |
In Proceedings of the Eighteenth National Conference in Artificial Intelligence (AAAI '02) (2002)
|
| |
Theory and Applications of Satisfiability Testing – SAT 2007 In Theory and Applications of Satisfiability Testing (SAT '07) (2007), pp. 121-133.
|
| |
Electronic Notes in Discrete Mathematics, Vol. 9 (June 2001), pp. 344-359.
|
| |
Principles and Practice of Constraint Programming (CP '07) (2007), pp. 696-711.
|
| |
Discrete Applied Mathematics, Vol. 155, No. 12. (15 June 2007), pp. 1514-1524.
|
| |
In Proceedings of Formal Methods in Computer Aided Design (FMCAD '07) (2007), pp. 27-34.
|
| |
Principles and Practice of Constraint Programming – CP 2004 In Principles and Practice of Constraint Programming (CP '04) (2004), pp. 438-452.
|
| |
Journal of Artificial Intelligence Research, Vol. 32, No. 1. (2008), pp. 565-606.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 6 (2009), pp. 245-262.
|
| |
Artificial Intelligence, Vol. 81, No. 1-2. (March 1996), pp. 17-29.
|
| |
Communications of the ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
|
| |
Journal of the ACM, Vol. 7, No. 3. (July 1960), pp. 201-215.
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI '09) (2009)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI '09) (2009)
|
| |
|
| |
In Proceedings of the 21st ACM/SIAM Symposium on Discrete Algorithms (SODA '10) (2010)
|
| |
In SAT Competition 2009 (2009)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009)
|
| |
Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 326-340.
|
| |
Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 356-362.
|
| |
Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 312-325.
|
| |
Handbook of Knowledge Representation (2007)
|
| |
In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI) (1992), pp. 359-363.
|
| |
In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI '98) (1998), pp. 431-437.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2 (2006), pp. 61-102.
|
