Solving Hidokus Using SAT-Solvers

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Solving Hidokus Using SAT-Solvers

Steffen HölldoblerSteffen Hölldobler

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

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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