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

• Download

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