| |
Journal of Artificial Intelligence Research (JAIR) (2009)
|
| |
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.
|
| |
In Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI ’07), Vol. 2007 (2007), pp. 1152-1157.
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009)
|
| |
Parallel Problem Solving from Nature - PPSN VIII (2004), pp. 51-60.
|
| |
In Proceedings of the Second DIMACS Challange on Cliques, Coloring, and Satisfiability (1993)
|
| |
In AAAI '98/IAAI '98: Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence (1998), pp. 3-10.
|
CiteULike
bsilverthorn's CiteULike
Search
Export
