An Overview of Backtrack Search Satisfiability Algorithms
Main Authors: | Lynce, I. (Author), Marques-Silva, J. P. (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
2003-03.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Random Backtracking in Backtrack Search Algorithms for Satisfiability
by: Lynce, Ines, et al.
Published: (2007) -
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
by: Bhalla, A., et al.
Published: (2005) -
Combining inference and backtracking search for the propositional satisfiability problem
by: Drake, Lyndon Paul
Published: (2004) -
Efficient data structures for backtrack search SAT solvers
by: Lynce, Ines, et al.
Published: (2005) -
GRASP-A Search Algorithm for Propositional Satisfiability
by: Marques-Silva, J. P., et al.
Published: (1999)