Refining Unsatisfiable Cores in Incremental SAT Solving

PublikationenPublications

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

Toggle side column

Refining Unsatisfiable Cores in Incremental SAT Solving

Norbert MantheyNorbert Manthey

Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015

• Details
• Bibtex

• Projekt:Project: PSAT
• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{M2015,
  author      = {Norbert Manthey},
  title       = {Refining Unsatisfiable Cores in Incremental {SAT} Solving},
  institution = {TU Dresden},
  year        = {2015},
  month       = {September}
}