Solving Hidokus Using SAT-Solvers

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Solving Hidokus Using SAT-Solvers

Steffen HölldoblerSteffen Hölldobler
Solving Hidokus Using SAT-Solvers


Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012
@misc{H2012,
  author = {Steffen H{\"{o}}lldobler},
  title  = {Solving Hidokus Using {SAT-Solvers}},
  year   = {2012},
  month  = {May}
}