Author of the publication

Satisfiability Solvers.

, , , and . Handbook of Knowledge Representation, volume 3 of Foundations of Artificial Intelligence, Elsevier, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning Sequences of Controllers for Complex Manipulation Tasks., , and . CoRR, (2013)Hard Problems for Simple Default Logics., and . Artif. Intell., 49 (1-3): 243-279 (1991)Preface: Volume 9., and . Electron. Notes Discret. Math., (2001)Referral Web: Combining Social Networks and Collaborative Filtering., , and . Commun. ACM, 40 (3): 63-65 (1997)Generating Hard Satisfiability Problems., , and . Artif. Intell., 81 (1-2): 17-29 (1996)A principled study of the design tradeoffs for autonomous trading agents., and . AAMAS, page 473-480. ACM, (2003)Natural communities in large linked networks., , , and . KDD, page 541-546. ACM, (2003)The Tractability of Path-Based Inheritance., and . Principles of Semantic Networks, Morgan Kaufmann, (1991)Planning as satisfiability, and . AAAI Conference on Artificial Intelligence, page 359--363. (1992)Compute-intensive methods in artificial intelligence.. Ann. Math. Artif. Intell., 28 (1-4): 35-38 (2000)