Tobias Müller

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Martin Henz, Tobias Müller, Sven Thiel
Global constraints for round robin tournament scheduling. Eur. J. Oper. Res. 153 (1) (2004)
Erica Melis, Jürgen Zimmer, Tobias Müller
Integrating Constraint Solving into Proof Planning. FroCoS (2000)
Erica Melis, Jürgen Zimmer, Tobias Müller
Extensions of Constraint Solving for Proof Planning. ECAI (2000)
Martin Henz, Tobias Müller, Ka Boon Ng
Figaro: Yet Another Constraint Programming Library. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Tobias Müller, Jörg Würtz
Embedding Propagators in a Concurrent Constraint Language. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Tobias Müller, Jörg Würtz
Connecting Propagators with a Concurrent Constraint Language. ICLP (1997)
Tobias Müller, Jörg Würtz
Extending a Concurrent Constraint Language by Propagators. ILPS (1997)
Jörg Würtz, Tobias Müller
Constructive Disjunction Revisited. KI (1996)
Tobias Müller, Jörg Würtz
Constructive Disjunction in Oz. WLP (1995)