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
Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen, July 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{M2014,
  author = {Norbert Manthey},
  title  = {Extended Resolution in Modern {SAT} Solving},
  year   = {2014},
  month  = {July}
}