Author of the publication

A New Method for Solving Hard Satisfiability Problems.

, , and . AAAI, page 440-446. AAAI Press / The MIT Press, (1992)

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

Sparse Message Passing Algorithms for Weighted Maximum Satisfiability, , , and . New England Student Colloquium on Artificial Intelligence (NESCAI), Ithaca, NY, (2007)A principled study of the design tradeoffs for autonomous trading agents., and . AAMAS, page 473-480. ACM, (2003)Relaxed DPLL Search for MaxSAT., , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 447-452. Springer, (2009)Formal Models of Heavy-Tailed Behavior in Combinatorial Search., , and . CP, volume 2239 of Lecture Notes in Computer Science, page 408-421. Springer, (2001)Heavy-Tailed Distributions in Combinatorial Search., , and . CP, volume 1330 of Lecture Notes in Computer Science, page 121-135. Springer, (1997)Risk-Sensitive Policies for Sustainable Renewable Resource Allocation., , , and . IJCAI, page 1942-1948. IJCAI/AAAI, (2011)A Flat Histogram Method for Computing the Density of States of Combinatorial Problems., , and . IJCAI, page 2608-2613. IJCAI/AAAI, (2011)Learning Sequences of Controllers for Complex Manipulation Tasks., , and . CoRR, (2013)A message passing approach to multiagent gaussian inference for dynamic processes., , and . AAMAS, page 1277-1278. IFAAMAS, (2011)Natural communities in large linked networks., , , and . KDD, page 541-546. ACM, (2003)