| |
Journal of Artificial Intelligence Research (JAIR) (2009)
|
| |
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)
|
| |
In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI '99) (1999)
|
| |
In Proceedings of the Sixteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI '03) (2003)
|
| |
Proceedings of the Nineteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI '06) (2006)
|
| |
In Proceedings of the Eighteenth National Conference in Artificial Intelligence (AAAI '02) (2002)
|
| |
Principles and Practice of Constraint Programming (CP '07) (2007), pp. 696-711.
|
| |
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.
|
| |
In Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI ’07), Vol. 2007 (2007), pp. 1152-1157.
|
| |
In SAT Competition 2009 (2009)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009)
|
| |
|
| |
Principles and Practice of Constraint Programming - CP 2006 In Principles and Practice of Constraint Programming (CP) (2006), pp. 213-228.
|
| |
Parallel Problem Solving from Nature - PPSN VIII (2004), pp. 51-60.
|
| |
In SAT 2000 (2000), pp. 283-292.
|
| |
Lecture Notes in Computer Science, Vol. 4741 (2007)
|
CiteULike
bsilverthorn's CiteULike
Search
Export
