First Workshop on Bridging the Gap Between Theory and Practice in Constraint Solvers

This one-day workshop will be held at CP 2014, the 20th International Conference on Principles and Practice of Constraint Programming, on Monday 8 September 2014 in Lyon, France.

Aims and scope

For several years now, CP and SAT solvers have made tremendous advances that allow them to solve very large instances. If the methods used to achieve this efficiency in practice are well-known, there does not exist to date any analytical explanation to justify the operational efficiency that seems totally at odds with the theoretical complexity of the problems addressed.

On the other hand, many studies have been developed for a long time on the detection of tractable classes in different areas or formalisms such as CSP, SAT, in planning, etc. But these tractable classes are hardly ever used in practice and thus are generally not explicitly implemented in the solvers.

However, these two bodies of work seem to have been developed in parallel rather than in synergy, creating a real gap between these two aspects of constraint programming. The purpose of this workshop is to better understand the reasons for the effectiveness of solvers, and also promote exchanges between researchers from both sides of the CP communities with the aim to reduce the gap between these two types of work.

The expected contributions cover a wide spectrum ranging from theoretical works on tractable classes, to implementations of solvers. They also concern the work on performance analysis of solvers. And ideally, work on the study of the properties explaining the behavior of efficient solvers. We solicit original papers, but papers already published in journals or presented in conferences, particularly if they associate theory and practice are welcome. This call for papers also includes position papers aimed at creating constructive and fruitful discussion between researchers working in theory and practice. The workshop will be held as a full-day or half-day workshop. Please note that workshop-participants need to be registered for the workshop.

This workshop would like to bring together researchers interested in :

  • implementation of solvers
  • optimization of solvers
  • analysis of solvers
  • study and analysis of benchmarks
  • experimentations
  • analysis of practical efficiency
  • competition of solvers
  • complexity analysis
  • tractability
  • tractable classes
  • complexity theory

Sponsorship

This workshop is sponsored by the Project TUPLES (http://www.lsis.org/tuples/) : Tractability for Understanding and Pushing forward the Limits of Efficient Solvers of the French National Agency for Research.

Important Dates

Submission date: June 30, 2014 Notification of acceptance: July 25, 2014 Camera ready version: August 15, 2014 Workshop day: September 8, 2014

Submission

Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must be at most 15 pages, excluding references. Submissions of short papers (no constraint for their lenght), including position papers, are welcome. Papers must be submitted in PDF format by email to bgbtp.cp2014@gmail.com. All submissions will be reviewed and those that are well-written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2014. At least one author of each accepted paper must attend the workshop. Please note that every workshop participant needs to be registered for the workshop.

Invited speaker

Joao Marques-Silva Complex and Adaptive Systems Laboratory (CASL), School of Computer Science and Informatics (CSI) University College Dublin Belfield, Dublin, Ireland

Organizers

  • Philippe Jégou (main contact), LSIS - UMR CNRS 7296, Universite d’Aix-Marseille, France philippe.jegou@univ-amu.fr

  • Martin Cooper, IRIT, Université de Toulouse III, France cooper@irit.fr

  • Lakhdar Saïs, CRIL - CNRS, UMR 8188, Université Lille Nord de France, Artois, France sais@cril.fr

  • Bruno Zanuttini, GREYC - UMR CNRS 6072, Universite de Caen Basse-Normandie, France bruno.zanuttini@unicaen.fr

Program Committee

  • David Cohen (Royal Holloway, University of London, UK)
  • Martin Cooper (IRIT-CNRS, Université de Toulouse III, France)
  • Stéphane Grandcolas (LSIS-CNRS, Universite d’Aix-Marseille, France)
  • Emmanuel Hébrard (LAAS-CNRS, France)
  • Peter Jeavons (University of Oxford, UK)
  • Philippe Jégou (LSIS-CNRS, Universite d’Aix-Marseille, France)
  • Daniel Le Berre (CRIL-CNRS, Université Lille Nord de France, Artois, France)
  • Fred Maris (IRIT-CNRS, Université de Toulouse III, France)
  • Pierre Marquis (CRIL-CNRS, Université Lille Nord de France, Artois, France)
  • Bertand Mazure (CRIL-CNRS, Université Lille Nord de France, Artois, France)
  • Cyril Pain-Barre (LSIS-CNRS, Universite d’Aix-Marseille, France)
  • Lionel Paris (LSIS-CNRS, Universite d’Aix-Marseille, France)
  • Pierre Régnier (IRIT-CNRS, Université de Toulouse III, France)
  • Lakhdar Saïs (CRIL-CNRS, Université Lille Nord de France, Artois, France)
  • Cyril Terrioux (LSIS-CNRS, Universite d’Aix-Marseille, France)
  • Bruno Zanuttini (GREYC-CNRS, Universite de Caen Basse-Normandie, France)