Improved local search for circuit satisfiability

DOI10.1007/978-3-642-14186-7_24zbMATH Open1306.68151OpenAlexW1862298752MaRDI QIDQ4930596FDOQ4930596

Zbigniew Stachniak, Anton Belov

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_24

Recommendations

• scientific article; zbMATH DE number 956863
• Local search characteristics of incomplete SAT procedures
• SAT local search algorithms: Worst-case study
• Justification-Based Local Search with Adaptive Noise Strategies
• Local search algorithms for SAT: Worst-case analysis

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Justification-Based Local Search with Adaptive Noise Strategies
• Propagation based local search for bit-precise reasoning

Uses Software

• MiniSat
• UnitWalk

This page was built for publication: Improved local search for circuit satisfiability

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