Global Constraints for Round Robin Tournament Scheduling
(pdf)
Martin Henz, Tobias Müller, Sven Thiel
European Journal for Operational Research
Constraint Propagation in Mozart
(pdf)
Tobias Müller
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik
Integrating Constraint Solving into Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Frontiers of Combining Systems -- Third International Workshop, FroCos 2000
An Overview of Finite Domain Constraint Programming
(pdf)
Martin Henz, Tobias Müller
Proceedings of the Fifth Conference of
the Association of Asia-Pacific Operational
Research Societies
Promoting Constraints to First-class Status
(pdf)
Tobias Müller
Proceedings of the First International Conference on Computational Logic -- CL2000
Practical Investigation of Constraints with Graph Views
(pdf)
Tobias Müller
Proceedings of the Sixth International Conference on Principles and Practice of Constraint
Programming -- CP 2000
GIFT: a Generic Interface for Reusing Filtering Algorithms.
(pdf)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
Proceedings of the Workshop on Techniques for Implementing
Constraint Programming Systems - TRICS
Extensions of Constraint Solving for Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Proceedings of the 14th European Conference on Artificial Intelligence
Embedding Propagators in a Concurrent Constraint Language
(pdf)
Tobias Müller, Jörg Würtz
The Journal of Functional and Logic Programming
Practical Investigation of Constraints with Graph Views
(pdf)
Tobias Müller
Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)
Figaro: Yet Another Constraint Programming Library
(pdf)
Martin Henz, Tobias Müller, Ka Boon Ng
Workshop on Parallelism and Implementation Technology for Constraint Logic Programming
Solving Set Partitioning Problems with Constraint Programming
(pdf)
Tobias Müller
Proceedings of the Sixth International Conference on the Practical Application of Prolog and the Forth
International Conference on the
Practica
Extending a Concurrent Constraint Language by Propagators
(pdf)
Tobias Müller, Jörg Würtz
Proceedings of the International Logic Programming Symposium
Finite Set Constraints in Oz
(pdf)
Tobias Müller, Martin Müller
13. Workshop Logische Programmierung
Constructive Disjunction Revisited
(pdf)
Jörg Würtz, Tobias Müller
20th German Annual Conference on Artificial Intelligence
Interfacing Propagators with a Concurrent Constraint Language
(pdf)
Tobias Müller, Jörg Würtz
JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology
for (Constraint) Logic Programming Languages
Adding Constraint Systems to DFKI Oz
(pdf)
Tobias Müller
WOz'95, International Workshop on Oz Programming
Multi-Paradigm Programming in Oz
(pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog
Constructive Disjunction in Oz
(pdf)
Tobias Müller, Jörg Würtz
11. Workshop Logische Programmierung