Loading…
CP 2016 has ended
Workshop: ModRef [clear filter]
Monday, September 5
 

10:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 10:30-11:00 G. Schenner and R. Taupe. Encoding Object-oriented Models in MiniZinc   
  • 11:00-11:30 K. Leo and G. Tack. Debugging Unsatisfiable Constraint Models
  • 11:30-12:00 G. Perez and J.-C. Regin. Building efficient soft and cost MDD constraints

Moderators
avatar for Steven Prestwich

Steven Prestwich

University College Cork

Speakers
KL

Kevin Leo

Monash University
avatar for Guillaume Perez

Guillaume Perez

I3S - University Nice Sophia Antipolis
avatar for Richard Taupe

Richard Taupe

Research Scientist, Siemens


Monday September 5, 2016 10:30 - 12:00
B102 Bosco building

13:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 13:30-14:00 W. Sawangphol, Y.-F. Li, and G. Tack. CP4DL: Constraint-based Reasoning for Expressive Description Logics
  • 14:00-14:30 M. Codish, M. Frank, and V. Lagoon. DNA Word Design: A New Constraint Model and New Results
  • 14:30-15:00 Z. Erraji, A. Hakkou, A. Benamrane, I. Benelallam, and El H. Bouyakhf. A Distributed Constraint Reasoning Approach Towards Intelligent Marketplace Environment

Moderators
avatar for Steven Prestwich

Steven Prestwich

University College Cork

Speakers
avatar for Imade Benelallam

Imade Benelallam

Researcher, SI2M Laboratory, INSEA Rabat Institut
avatar for Michael Codish

Michael Codish

Ben Gurion University
avatar for Guido Tack

Guido Tack

Monash University


Monday September 5, 2016 13:30 - 15:00
B102 Bosco building

15:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 15:30-16:00 V. Armant and K. N. Brown. Reformulation of Drivers’ Fixed Path Constraints in Ridesharing Problemsarma
  • 16:00-16:30 S. D. Prestwich, S. A. Tarim, and R. Rossi. Constraint Problem Specification as Compression



Monday September 5, 2016 15:30 - 16:30
B102 Bosco building