Extended Resolution in Modern SAT Solving

PublikationenPublications

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

Toggle side column

Extended Resolution in Modern SAT Solving

Norbert MantheyNorbert Manthey

Norbert Manthey
Extended Resolution in Modern SAT Solving
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{M2014,
  author    = {Norbert Manthey},
  title     = {Extended Resolution in Modern {SAT} Solving},
  booktitle = {Joint Automated Reasoning Workshop and Deduktionstreffen},
  year      = {2014}
}