Soundness of Inprocessing in Clause Sharing SAT Solvers

DOI10.1007/978-3-642-39071-5_4zbMATH Open1390.68582OpenAlexW134175813MaRDI QIDQ5326451FDOQ5326451

Christoph Wernhard, Norbert Manthey, Tobias Philipp

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_4

Mathematics Subject Classification ID

Cited In (3)

• An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
• Title not available (Why is that?)
• Super-Blocked Clauses

Uses Software

• Chaff
• PrecoSAT
• CryptoMiniSat
• ppfolio
• pfolioUZK

This page was built for publication: Soundness of Inprocessing in Clause Sharing SAT Solvers

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