IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #615   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:32
615 Add to my selection
      AUTHOR = {Henz, Martin},
      TITLE = {Don't Be Puzzled!},
      YEAR = {1996},
      BOOKTITLE = {Workshop on Constraint Programming Applications: An Inventory and Taxonomy. In conjunction with the 2nd International Conference on Principles and Practice of Constraint Programming (CP '96), August 19},
      ADDRESS = {Cambridge, Massachusetts, USA},
      URL = {},
      ABSTRACT = {This paper is about how to solve a class of puzzles, called self-referential quizzes ( extitsrq), with constraint programming. An extitsrq is a sequence of multiple choice questions that are about the puzzle itself. extitsrqs are an attractive pastime, when they provide the possibility of drawing non-trivial conclusions on the way to the solution. We introduce a typical extitsrq, and represent it as a propositional satisfiability problem. Its straightforward clausal representation is too big for effective treatment using standard methods. Instead, we solve it with finite domain constraint programming. For this application of constraint programming, support of logic connectives such as conjunction and disjunction is crucial. With their small problem descriptions, extitsrqs are ideal candidates for benchmarks covering the implementation of 0/1 variables in constraint programming languages.},
      ANNOTE = {COLIURL : Henz:1996:DP.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin