Programming Systems Lab: Publications by Tobias Müller

Saarland University Computer Science

Select author:

2004

Global Constraints for Round Robin Tournament Scheduling   (pdf)
Martin Henz, Tobias Müller, Sven Thiel
European Journal for Operational Research

2001

Constraint Propagation in Mozart   (pdf)
Tobias Müller
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik

2000

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

1999

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

1998

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

1997

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

1996

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

1995

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


Login to edit


Legal notice, Privacy policy