An A-Maze-ing SAT Solving Visualization

PublikationenPublications

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

Toggle side column

An A-Maze-ing SAT Solving Visualization

Norbert MantheyNorbert Manthey

• Download

Norbert Manthey
An A-Maze-ing SAT Solving Visualization
Technical Report, TU Dresden, April 2015

• Details
• Bibtex

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

@techreport{M2015,
  author      = {Norbert Manthey},
  title       = {An A-Maze-ing {SAT} Solving Visualization},
  institution = {TU Dresden},
  year        = {2015},
  month       = {April}
}