Concurrent clause strengthening

DOI10.1007/978-3-642-39071-5_10MaRDI QIDQ5326457zbMATH OpenOpenAlexFDO

Authors Siert Wieringa, Keijo Heljanko

Publication date 5 August 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-39071-5_10

Mathematics Subject Classification ID

Recommendations

• ManySAT: a parallel SAT solver
• Generalized conflict-clause strengthening for satisfiability solvers
• Asynchronous Multi-core Incremental SAT Solving
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 5510692

Cited in

(8)

• SAT competition 2020
• Clause vivification by unit propagation in CDCL SAT solvers
• Lazy clause exchange policy for parallel SAT solvers
• Hints revealed
• Local redundancy in SAT: generalizations of blocked clauses
• Clause simplifications in search-space decomposition-based SAT solvers
• SAT solver management strategies in IC3: an experimental approach
• Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning

This page was built for publication: Concurrent clause strengthening

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