The 24th International Conference on Principles and Practice of Constraint Programming (CP 2018) was held in Lille, France between August 27 and 31 this year.
We are happy to have 3 papers from our group accepted for presentation at the main conference. Here they are.
We had 5 papers in the workshops that were colocated with CP:
- “Modelling Langford’s Problem: A Viewpoint for Search” by Özgür Akgün and Ian Miguel at ModRef 2018
- “Memory Consistency Models using Constraints” by Ruth Hoffmann, Özgür Akgün and Susmit Sarkar at ModRef 2018
- “Towards Solving Essence With Local Search: a Proof of Concept Using Sets and Multisets” by Saad Attieh, Christopher Jefferson, Ian Miguel and Peter Nightingale at ModRef 2018
- “Graph connectivity via local minimality” Fraser Dunlop, Peter Nightingale and András Z. Salamon at the International Workshop on Graphs and Constraints
- “Expression of Graph Problems in a High Level Modelling Language” by Fraser Dunlop, Jessica Enright, Chris Jefferson, Ciaran McCreesh, Patrick Prosser and James Trimble at the International Workshop on Graphs and Constraints
And 2 papers by our PhD students at the Doctoral Program. The doctoral program is a great opportunity for them to meet their peers, get feedback, and receive mentoring from a more senior member of the community. I had enjoyed attending to it at CP 2010 - 8 years ago already!
- “Maximal Frequent Itemset Mining with Non-monotonic Side Constraints” by Gökberk Koçak
- “Local search of Essence, a proof of concept” by Saad Attieh
In addition to presenting these papers, we also gave a tutorial on Conjure and Savile Row. This was a double act by myself and Peter Nightingale, who is the main developer of Savile Row.
The program for CP 2018 is available here.