Solving Hidokus Using SAT-Solvers

Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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