An A-Maze-ing SAT Solving Visualization

From International Center for Computational Logic
Toggle side column

An A-Maze-ing SAT Solving Visualization

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