Local Search for Unsatisfiability

DOI10.1007/11814948_28MaRDI QIDQ5756575zbMATH OpenOpenAlexFDO

Authors Steven Prestwich, Inês Lynce

Publication date 4 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814948_28

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• SAT local search algorithms: Worst-case study
• SAT local search algorithms: Worst-case study
• Local search algorithms for SAT: Worst-case analysis
• scientific article; zbMATH DE number 956863
• scientific article; zbMATH DE number 956858

Cited in

(10)

• Proving unsatisfiability of CNFs locally
• Theorem proving as constraint solving with coherent logic
• Proving unsatisfiability of CNFs locally
• The Relation Between Complete and Incomplete Search
• Improvements to Hybrid Incremental SAT Algorithms
• Local Symmetry Breaking During Search in CSPs
• An overview of parallel SAT solving
• Finding the hardest formulas for resolution
• scientific article; zbMATH DE number 956863 (Why is no real title available?)
• Boosting MCSat modulo nonlinear integer arithmetic via local search

This page was built for publication: Local Search for Unsatisfiability

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