WVPub35

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
  • Tobias PhilippTobias Philipp
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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}
}