| |
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.
|
CiteULike
bsilverthorn's CiteULike
Search
Export
