PTHG-21: The Fifth Workshop on Progress Towards the Holy Grail

October 25th, 2021, at CP2021

There is now a PTHGCP Google Group, for news and discussion related to PTHG topics (not just the Workshop). Please join!

A playlist of videos of the talks, including the results of the Challenge, is available here. Individual links to videos and papers are included in the online proceedings below. 

This Workshop is one of a series.

Workshop Schedule

Online Proceedings:

Invited Talks

An Overview of Machine Learning Techniques in Constraint Solving
Speaker: Alexander Felfernig
Institute of Software Technology (Graz University of Technology), Graz, Austria
Video

Learning Constraints and Combinatorial Optimization Problems
Speaker: Samuel Kolb
KU Leuven, Belgium

Explanation in Constraint Satisfaction: A Survey
Speaker: Begüm Genç
School of Computer Science & Information Technology University College Cork, Ireland

Submitted Papers (Including Previously Published Track)

Efficient Multiple Constraint Acquisition
Authors: Dimosthenis C. Tsouros, Kostas Stergiou
Dept. of Electrical & Computer Engineering, University of Western Macedonia, Kozani, Greece
Speaker: Dimosthenis C. Tsouros
Video

Solve Optimization Problems with Unknown Constraint Networks
Authors: Mohamed-Bachir Belaid, Arnaud Gotlieb
Simula Research Laboratory, Oslo, Norway
Nadjib Lazaar
LIRMM, University of Montpellier, CNRS, Montpellier, France
Speaker: Mohamed-Bachir Belaid
Video

Online Learning of Deeper Variable Ordering Heuristics for Constraint Optimisation Problems
Authors: Floris Doolaard, Neil Yorke-Smith
Delft University of Technology, The Netherlands
Speaker: Neil Yorke-Smith
Video

SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning
Authors: Félix Chalumeau, Ilan Coulon
École Polytechnique, Institut Polytechnique de Paris, Palaiseau, France
Quentin Cappart, Louis-Martin Rousseau
École Polytechnique de Montréal, Montreal, Canada
Speaker: Félix Chalumeau
Video

PTHG-21 Constraint Acquisition Challenge

Overview
Speaker: Helmut Simonis
Insight SFI Centre for Data Analytics
University College Cork, Ireland
Video

Results:
 

The CAT System for the PTHG21 Challenge
Video

Results of the PTHG21 Challenge
 
Description:
 

In 1996 the paper “In Pursuit of the Holy Grail” (also here) proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. It was followed about a decade later by “Holy Grail Redux“, and then about a decade after that by “Progress Towards the Holy Grail“. This series of workshops aims to encourage and disseminate progress towards that goal, in particular regarding work on automating:

  • Acquisition: user-interaction, learning, debugging, maintaining, etc. 
  • Reformulation: transformation for efficient solution, redundant models, etc. 
  • Solving: adaptive parameter tuning, automated selection from portfolios, learning heuristics, deep learning, etc. 
  • Explanation: reasons for failure, implications for choices, etc. 

Of particular interest is the intersection of the Holy Grail goal with the increasing attention being paid to machine learning, explainable AI, and human-centric AI.

PTHG-21 Constraint Acquisition Challenge: 
 
Further information is available here.
 

Organizing Committee:

Chair: Eugene Freuder, University College Cork, Ireland, eugene.freuder@insight-centre.org
 
Christian Bessiere, University of Montpellier, France
 
Tias Guns, KU Leuven, Belgium
 
Lars Kotthoff, University of Wyoming, USA 
 
Ian Miguel, University of St Andrews, Scotland 
 
Michela Milano, University of Bologna, Italy
 
Helmut Simonis, University College Cork, Ireland
 

Submissions:

Submissions may be of any length, and in any format. They may be abstracts, position papers, technical papers, or demos. They may review your own previous work or survey a topic area. They may present new research or suggest directions for further progress. They may propose research roadmaps, demonstration domains, or collaborative projects. They may be proposals for measuring progress, and, in particular, for data sets or competitions to stimulate and compare progress. 

Previously Published Track. Authors are encouraged to submit to this track pointers to relevant papers that they have published elsewhere since the date of the last workshop, PTHG-20, September 7, 2020. The objective is to further the Workshop goal of disseminating progress in this area. 

Submissions should be emailed, in PDF form, with subject line “PTHG-21 Submission”, directly to the Workshop chair, at: eugene.freuder@insight-centre.org.

Submissions to the Previously Published Track should be in the form of a PDF that clearly identifies it as a submission to the Previously Published Track, contains bibliographic information on the previous publication, and provides a URL pointing to the paper (if possible without violating copyright, to a full version of the paper).

Authors may make multiple submissions if they wish. All submissions that appropriately address the topic of the workshop will be accepted as is, without further revision, and will be made available at the workshop website.

The deadline for submissions is September 15, 2021. Decisions on acceptance will be sent by September 20, 2021. 

Authors of accepted submissions will be expected to upload a video presentation of the requested length by September 30, 2021; otherwise the submission will be withdrawn from the program and proceedings (if any). The conference will host these videos. Details of the upload process will become available.