Solving Hidokus using SAT Solvers
From International Center for Computational Logic
Solving Hidokus using SAT Solvers
S. HölldoblerS. Hölldobler, N. MantheyN. Manthey, V.H. NguyenV.H. Nguyen, P. SteinkeP. Steinke
![Solving Hidokus using SAT Solvers Solving Hidokus using SAT Solvers](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012
- Bemerkung: Note: ISSN 2219-293X
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{HMNS2012,
author = {S. H{\"{o}}lldobler and N. Manthey and {V.H.} Nguyen and P.
Steinke},
title = {Solving Hidokus using {SAT} Solvers},
booktitle = {Proc. {INFOCOM-5}},
year = {2012},
pages = {208-212}
}