Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning

DOI10.1007/978-3-540-79719-7_24MaRDI QIDQ3502713zbMATH OpenOpenAlexFDO

Authors Zbigniew Stachniak, Anton Belov

Publication date 27 May 2008

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

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2243370
• A complete adaptive algorithm for propositional satisfiability
• Nonsystematic search and no-good learning
• Progress in Artificial Intelligence
• Non-systematic search and no-good learning

Cites work

• scientific article; zbMATH DE number 2243408 (Why is no real title available?)
• An overview of backtrack search satisfiability algorithms
• Local search algorithms for SAT: an empirical evaluation
• Stochastic local search. Foundations and applications.
• Theory and Applications of Satisfiability Testing
• Variable Dependency in Local Search: Prevention Is Better Than Cure

Cited in

(7)

• scientific article; zbMATH DE number 1149437 (Why is no real title available?)
• Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
• scientific article; zbMATH DE number 2019591 (Why is no real title available?)
• On the effect of learned clauses on stochastic local search
• Nonsystematic search and no-good learning
• Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
• The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study

Describes a project that uses

Uses Software

• UBCSAT

This page was built for publication: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning

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