Peter van Beek
CSP Erfüllbarkeitsproblem der Aussagenlogik Planning constraint checkers constraint logic programming constraint programming constraint satisfaction constraint solving constraint-based combinatorics decision making learning logic programming programming language semantics