Parallel Heuristic Search in Haskell

by Michelle Cope , Ian Gent , Kevin Hammond

Active Bibliography

14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
16 Parallelizing Satz Using Dynamic Workload Balancing – Bernard Jurkowiak, Chu Min Li, Gil Utard - 2001
114 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
34 Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances – Roberto J. Bayardo, Robert Schrag - 1996
51 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
4 The effect of nogood recording in MAC-CBJ SAT algorithms – Inês Lynce, João Marques-silva - 2002
3 The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms – Inês Lynce, João Marques-Silva - 2001
76 Backjumping for Quantified Boolean Logic Satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
40 Using CSP Look-Back Techniques to Solve Real-World SAT Instances – Roberto Bayardo Jr, Robert C. Schrag - 1997
6 Solving Satisfiability Problems using Field Programmable Gate Arrays: First Results – Makoto Yokoo, Takayuki Suyama, Hiroshi Sawada - 1996
43 The impact of branching heuristics in propositional satisfiability algorithms – João Marques-silva - 1999
7 Improving Backtrack Search for SAT by Means of Redundancy – Laure Brisoux, Éric Grégoire, Lakhdar Saïs - 1999
The Satisfiability Problem- From The Theory of NP-completeness to State-Of-The-Art SAT Solvers – Rave Harpaz
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
6 Cama: A multi-valued satisfiability solver – Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz - 2003
A New Class of Hard 3-SAT Instances – unknown authors - 2005
32 Propositional Satisfiability and Constraint Programming: a Comparative Survey – Lucas Bordeaux, Youssef Hamadi, Lintao Zhang - 2006
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman