@INPROCEEDINGS{puzzle96,
title = {Don't Be Puzzled!},
year = {1996},
author = {Martin Henz},
abstract = {This paper is about how to solve a class of puzzles, called self-referential quizzes (\textit{srq}), with
constraint programming. An \textit{srq} is a
sequence of multiple choice questions that are about the puzzle
itself. \textit{srq}s are an attractive pastime, when they provide the
possibility of drawing non-trivial conclusions on the way to the
solution.
We introduce a typical \textit{srq}, 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,
\textit{srq}s are ideal candidates for benchmarks
covering the implementation of 0/1 variables in
constraint programming languages.},
month = aug,
address = {Cambridge, Massachusetts, USA},
booktitle = {Proceedings of the Workshop on Constraint Programming Applications,
in conjunction with the Second International
Conference on Principles and Practice of
Constraint Programming (CP96)},
directory = {ProgrammingSysLab},
filename = {puzzle96.ps.gz},
sline = {5002},
project-key = {C1},
label = {puzzle96}
}