Soundness of Inprocessing in Clause Sharing SAT Solvers

Norbert MantheyNorbert Manthey, Tobias PhilippTobias Philipp, Christoph WernhardChristoph Wernhard

Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers
In Matti Järvisalo and Allen Van Gelder, eds., Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, volume 7962 of LNCS, 22-39, 2013. Springer

Details
Bibtex

Bemerkung: Note: Received the SAT 2013 Best Paper Award
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{MPW2013,
  author    = {Norbert Manthey and Tobias Philipp and Christoph Wernhard},
  title     = {Soundness of Inprocessing in Clause Sharing {SAT} Solvers},
  editor    = {Matti J{\"{a}}rvisalo and Allen Van Gelder},
  booktitle = {Theory and Applications of Satisfiability Testing, 16th
               International Conference, {SAT} 2013},
  series    = {LNCS},
  volume    = {7962},
  publisher = {Springer},
  year      = {2013},
  pages     = {22-39}
}