Solving Hidokus Using SAT-Solvers
From International Center for Computational Logic
Solving Hidokus Using SAT-Solvers
Steffen HölldoblerSteffen Hölldobler
![Solving Hidokus Using SAT-Solvers Solving Hidokus Using SAT-Solvers](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012
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}
}