Volume 1, Number 1/2, September 1996
Volume 1, Number 3, March 1997
Last update Tue May 21 18:35:24 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Bernhard Nebel:
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
- Carmen Gervet:
Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language.
- Ken Darby-Dowman, James Little, Gautam Mitra, Marco Zaffalon:
Constraint Logic Programming and Integer Programming Approaches and Their Collaboration in Solving an Assignment Scheduling Problem.