Asynchronous Multi-core Incremental SAT Solving

DOI10.1007/978-3-642-36742-7_10MaRDI QIDQ5326321zbMATH OpenOpenAlexFDO

Authors Siert Wieringa, Keijo Heljanko

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Reproducible efficient parallel SAT solving
• An overview of parallel SAT solving
• scientific article; zbMATH DE number 828719
• A collaborative approach for multi-threaded SAT solving
• ManySAT: a parallel SAT solver
• scientific article; zbMATH DE number 5510692
• Incremental inprocessing in SAT solving

Cited in

(2)

• Concurrent clause strengthening
• A collaborative approach for multi-threaded SAT solving

This page was built for publication: Asynchronous Multi-core Incremental SAT Solving

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