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

S. HölldoblerS. Hölldobler,  N. MantheyN. Manthey,  V.H. NguyenV.H. Nguyen,  P. SteinkeP. Steinke

S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012

• Details
• Bibtex

• 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}
}