| |
Journal of Artificial Intelligence Research (JAIR) (2009)
|
| |
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 Neural Information Processing Systems (NIPS) (2009)
|
| |
In Proceedings of the 26th Annual International Conference on Machine Learning (ICML) (2009), pp. 793-800.
|
| |
In Proceedings of the Thirteenth National Conference on Artificial Intelligence (1997)
|
| |
In Neural and Information Processing Systems (NIPS) (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.
|
| |
Proceedings of the 2nd Israel Symposium on Theory and Computing Systems (06 August 1993), pp. 128-133.
|
| |
|
| |
In Proceedings of the ACL-IJCNLP 2009 Conference Short Papers (2009), pp. 337-340.
|
| |
Advances in Neural Information Processing Systems, Vol. 18 (2006)
|
| |
Parallel Problem Solving from Nature (PPSN VI) (2000), pp. 849-858.
|
| |
Electronic Notes in Discrete Mathematics, Vol. 9 (June 2001), pp. 344-359.
|
| |
International Journal of High Performance Computing Applications, Vol. 18, No. 1. (1 February 2004), pp. 65-94.
|
| |
Social Science Research Network Working Paper Series (06 November 2005)
|
| |
International Symposium on Distributed Computing and Artificial Intelligence (DCAI '08) (2008), pp. 634-643.
|
| |
Principles and Practice of Constraint Programming (CP '07) (2007), pp. 696-711.
|
| |
ACM Transactions on Mathematical Software, Vol. 26, No. 2. (2000), pp. 227-253.
|
| |
|
| |
ACM Transactions on Mathematical Software, Vol. 22, No. 4. (1996), pp. 447-468.
|
| |
In Proceedings of the IFIP TC 2.5 Working Conference on Performance Evaluation of Numerical Software (1979)
|
| |
Communications of the ACM, Vol. 22, No. 4. (1979), pp. 251-256.
|
| |
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.
|
| |
In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI '08) (2008)
|
| |
Principles and Practice of Constraint Programming – CP 2004 In Principles and Practice of Constraint Programming (CP '04) (2004), pp. 438-452.
|
CiteULike
bsilverthorn's CiteULike
Search
