Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Inês Lynce, João P. Marques Silva. An Overview of Backtrack Search Satisfiability Algorithms. Annals of Mathematics and Artificial Intelligence, 37(3):307-326, 2003.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Random backtracking in backtrack search algorithms for satisfiabilityInês Lynce, João P. Marques Silva. DAM, 155(12):1604-1612, 2007. [doi] GRASP - a new search algorithm for satisfiabilityJoão P. Marques Silva, Karem A. Sakallah. iccad 1996: 220-227 [doi] GRAPS: A Search Algorithm for Propositional SatisfiabilityJoão P. Marques Silva, Karem A. Sakallah. TC, 48(5):506-521, 1999. Tuning Randomization in Backtrack Search SAT AlgorithmsInês Lynce, João P. Marques Silva. cp 2002: 769 [doi]
The following publications are possibly variants of this publication: