An overview of backtrack search satisfiability algorithms

DOI10.1023/A:1021264516079MaRDI QIDQ1861908zbMATH OpenOpenAlexFDO

Authors Inês Lynce, Joao Marques-Silva

Publication date 10 March 2003

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021264516079

zbMATH Keywords

backtrackingsatisfiabilitysearch algorithms

Mathematics Subject Classification ID

Searching and sorting (68P10) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Progress in Artificial Intelligence
• scientific article; zbMATH DE number 2084763
• Random backtracking in backtrack search algorithms for satisfiability
• scientific article; zbMATH DE number 2085252
• Stochastic systematic search algorithms for satisfiability

Cited in

(28)

• Satisfiability-based algorithms for Boolean optimization
• Backtracking tactics in the backtrack method for SAT
• Efficient data structures for backtrack search SAT solvers
• Incomplete dynamic backtracking for linear pseudo-Boolean problems
• Amortized random backtracking
• Resolution versus search: Two strategies for SAT
• Partition search for non-binary constraint satisfaction
• A unified framework for DPLL(T) + certificates
• Random backtracking in backtrack search algorithms for satisfiability
• Resolution versus search: Two strategies for SAT
• Optimal implementation of watched literals and more general techniques
• Partial backtracking in CDCL solvers
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
• Solving \#SAT and Bayesian inference with backtracking search
• A sufficient condition for backtrack-bounded search
• scientific article; zbMATH DE number 67459 (Why is no real title available?)
• Finding kernels or solving SAT
• scientific article; zbMATH DE number 1113992 (Why is no real title available?)
• scientific article; zbMATH DE number 1975619 (Why is no real title available?)
• scientific article; zbMATH DE number 2065281 (Why is no real title available?)
• scientific article; zbMATH DE number 2084763 (Why is no real title available?)
• Algorithms for computing backbones of propositional formulae
• Quantum-walk speedup of backtracking algorithms
• scientific article; zbMATH DE number 2085252 (Why is no real title available?)
• Progress in Artificial Intelligence
• The Complexity of Propositional Proofs
• An exercise in transformational programming: Backtracking and Branch-and- Bound
• Heuristic-based backtracking relaxation for propositional satisfiability

Describes a project that uses

Uses Software

• PSATO
• SATO
• Chaff
• DIMACS

This page was built for publication: An overview of backtrack search satisfiability algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1861908)