Tobias Müller

Affiliations:
  • Saarland University, Saarbrücken, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Global constraints for round robin tournament scheduling.
Eur. J. Oper. Res., 2004

2001
Constraint propagation in Mozart.
PhD thesis, 2001

2000
Integrating Constraint Solving into Proof Planning.
Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.
Proceedings of the ECAI 2000, 2000

1999
Figaro: Yet Another Constraint Programming Library.
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Embedding Propagators in a Concurrent Constraint Language.
J. Funct. Log. Program., 1999

1997
Extending a Concurrent Constraint Language by Propagators.
Proceedings of the Logic Programming, 1997

Connecting Propagators with a Concurrent Constraint Language.
Proceedings of the Logic Programming, 1997

1996
Constructive Disjunction Revisited.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1995
Constructive Disjunction in Oz.
Proceedings of the 11. Workshop Logische Programmierung, 1995


  Loading...