Solving Hidokus using SAT Solvers

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

Toggle side column

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


S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012
@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}
}