Supermodels and Robustness (1998)

Cached

Download Links

by Matthew L. Ginsberg , Andrew J. Parkes , Amitabha Roy
Venue:In AAAI/IAAI
Citations:46 - 4 self

Active Bibliography

unknown title – Matthew L. Ginsberg
1143 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
608 The FF planning system: Fast plan generation through heuristic search – Jörg Hoffmann, Bernhard Nebel - 2001
435 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
18 Reactive Search and Intelligent Optimization – Roberto Battiti, Mauro Brunato, Franco Mascia - 2007
381 GRASP: A Search Algorithm for Propositional Satisfiability,” in – J Marques-Silva, K Sakallah - 1999
376 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
317 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
292 Efficient Conflict Driven Learning in a Boolean Satisfiability Solver – Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz - 2001