Tobias Müller

According to our database, Tobias Müller authored at least 10 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Global constraints for round robin tournament scheduling.

Martin Henz, Tobias Müller, Sven Thiel

Eur. J. Oper. Res., 2004

2001

Constraint propagation in Mozart.

Tobias Müller

PhD thesis, 2001

2000

Integrating Constraint Solving into Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the ECAI 2000, 2000

1999

Figaro: Yet Another Constraint Programming Library.

Martin Henz, Tobias Müller, Ka Boon Ng

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Embedding Propagators in a Concurrent Constraint Language.

Tobias Müller, Jörg Würtz

J. Funct. Log. Program., 1999

1997

Extending a Concurrent Constraint Language by Propagators.

Tobias Müller, Jörg Würtz

Proceedings of the Logic Programming, 1997

Connecting Propagators with a Concurrent Constraint Language.

Tobias Müller, Jörg Würtz

Proceedings of the Logic Programming, 1997

1996

Constructive Disjunction Revisited.

Jörg Würtz, Tobias Müller

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1995

Constructive Disjunction in Oz.

Tobias Müller, Jörg Würtz

Proceedings of the 11. Workshop Logische Programmierung, 1995