| |
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.
|
| |
Journal of Artificial Intelligence Research, Vol. 32, No. 1. (2008), pp. 565-606.
|
| |
In Proceedings of the 23rd International Conference on Machine Learning (ICML '06) (2006), pp. 825-832.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 6 (2009), pp. 245-262.
|
| |
In Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD '06) (2006), pp. 424-433.
|
| |
In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing (EMNLP '09) (2009), pp. 880-889.
|
| |
Artificial Intelligence, Vol. 81, No. 1-2. (March 1996), pp. 17-29.
|
| |
In Proceedings of the 26th Annual International Conference on Machine Learning (ICML '09) (2009), pp. 1105-1112.
|
| |
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 101, No. Suppl 1. (6 April 2004), pp. 5220-5227.
|
| |
In Proceedings of the International Conference on Uncertainty in Artificial Intelligence (UAI '09) (2009)
|
| |
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.
|
| |
Soft Computing, Vol. 11, No. 11. (1 September 2007), pp. 1065-1078.
|
| |
In Proceedings of the 26th Annual International Conference on Machine Learning (ICML '09) (2009), pp. 249-256.
|
| |
In Symposium on Abstraction, Reformulation, and Approximation (SARA '05) (2005)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI '09) (2009)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI '09) (2009)
|
| |
Neural Information Processing Systems (NIPS '06) (2006)
|
| |
|
| |
In Proceedings of the 21st ACM/SIAM Symposium on Discrete Algorithms (SODA '10) (2010)
|
| |
Journal of the American Statistical Association, Vol. 103, No. 483. (2008), pp. 1131-1154.
|
| |
Computer Architecture, 2008. ISCA '08. 35th International Symposium on In Proceedings of the 35th International Symposium on Computer Architecture (ISCA '08), Vol. 0 (15 July 2008), pp. 39-50.
|
| |
In Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI ’07), Vol. 2007 (2007), pp. 1152-1157.
|
| |
OSDI '04 In OSDI 2004 (2004), pp. 137-150.
|
| |
|
| |
In SAT Competition 2009 (2009)
|
| |
In International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009)
|
| |
In ACM Multimedia (MM 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.
|
| |
SIGACT News, Vol. 36 (2005)
|
| |
Journal of Geodesy, Vol. 76, No. 8. (18 November 2002), pp. 451-454.
|
| |
Survey Review, Vol. 22, No. 176. (1975), pp. 88-93.
|
| |
In Advances in Neural Information Processing Systems 21 (2009), pp. 1385-1392.
|
| |
|
CiteULike
bsilverthorn's CiteULike
Search
