2001
Constraint Propagation in Mozart
(Tobias Müller)
2000
Extensions of Constraint Solving for Proof Planning
(Erica Melis and Jürgen Zimmer and Tobias Müller)
GIFT: a Generic Interface for Reusing Filtering
Algorithms.
(Ka Boon Ng and Chiu Wo Choi and Martin Henz and Tobias
Müller)
Practical Investigation of Constraints with Graph Views
(Tobias Müller)
Promoting Constraints to First-class Status
(Tobias Müller)
An Overview of Finite Domain Constraint
Programming
(Martin Henz and Tobias Müller)
Integrating Constraint Solving
into Proof Planning
(Erica Melis and Jürgen
Zimmer and Tobias Müller)
1999
Figaro: Yet Another Constraint Programming Library
(Martin Henz and Tobias Müller and Ka Boon Ng)
Practical Investigation of Constraints with Graph Views
(Tobias Müller)
Embedding Propagators in a Concurrent Constraint Language
(Tobias Müller and Jörg Würtz)
1997
Finite Set Constraints in Oz
(Tobias Müller and Martin Müller)
Extending a Concurrent Constraint Language by
Propagators
(Tobias Müller and Jörg Würtz)
1996
Interfacing Propagators with a Concurrent Constraint Language
(Tobias Müller and Jörg Würtz)
Constructive Disjunction Revisited
(Jörg Würtz and Tobias Müller)
| 
