CP Anniversary Volume

This is a “virtual volume” celebrating the first 25 years of the CP conference. 

*New* There is now an option to leave a comment at the bottom of the page.

The authors (or some subset of them) of one paper chosen from each year of the conference have supplied a “commentary” on their paper. They were given free rein as to subject matter, length and format. Each paper title links to the original paper at Springer. Springer is providing free access to all the proceedings during the 2019 conference and through October:

https://cp2019.a4cp.org/Springer.html 

I make no claim that this volume includes the ‘best’ or ‘most important’ paper from any year. There is no perfect way to choose one paper from each conference. What I’ve done is search in Google Scholar for the paper with the most citations for each year. This is imperfect in so many ways. The citations for conference papers that went on to journals, e.g. a special CP conference issue of the Constraints journal, could suffer from “vote splitting” with the journal version. For recent years with less opportunity for citation, the utility of this measure is, of course, particularly dubious. And so on. In fact, given the vagaries and complexities of Google Scholar, it is possible that I did not even successfully find the most highly cited paper for each year. For 2019, I’ve exercised “editor’s prerogative” and just picked a paper on a subject I’m particularly interested in. Despite all these caveats, I think the volume will provide an interesting perspective on the field, and hopefully be both fun and instructive to read.  

Eventually the plan is to collect all the commentaries posted here into a single PDF, and make the resulting volume available open access through a publisher or repository. 

Enjoy!

— Gene Freuder
September, 2019
Insight Centre for Data Analytics
University College Cork

Twenty-five Years

2019: Structure-driven multiple constraint acquisition 

Dimosthenis C. Tsouros, Kostas Stergiou and Christian Bessiere

Commentary

2018: Evaluating QBF solvers: Quantifier alternations matter

F Lonsing, U Egly

Commentary

2017: CoverSize: a global constraint for frequency-based itemset mining

P Schaus, JOR Aoga, T Guns

Commentary

2016: Assisted lead sheet composition using flowcomposer

A Papadopoulos, P Roy, F Pachet

Commentary

2015: Strengthening convex relaxations with bound tightening for power network optimization

C Coffrin, HL Hijazi, P Van Hentenryck

Commentary

2014: Incremental cardinality constraints for MaxSAT

R Martins, S Joshi, V Manquinho, I Lynce

Commentary

2013: A scalable approximate model counter

S Chakraborty, KS Meel, MY Vardi

Commentary

2012: Refining restarts strategies for SAT and UNSAT

G Audemard, L Simon

Commentary

2011: Algorithm selection and scheduling

S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann

Commentary

2010: A systematic approach to MDD-based constraint programming

S Hoda, WJ Van Hoeve, JN Hooker

Commentary

2009: A gender-based genetic algorithm for the automatic configuration of algorithms

C Ansótegui, M Sellmann, K Tierney

Commentary

2008: Approximate compilation of constraints into multivalued decision diagrams

T Hadzic, JN Hooker, B O’Sullivan, P Tiedemann

Commentary

2007: MiniZinc: Towards a standard CP modelling language

N Nethercote, PJ Stuckey, R Becket, S Brand, G J Duck, G Tack

Commentary

2006: Performance prediction and automated tuning of randomized and parametric algorithms

F Hutter, Y Hamadi, HH Hoos, K Leyton-Brown

Commentary

2005: Towards an optimal CNF encoding of boolean cardinality constraints

C Sinz

Commentary

2004: A regular language membership constraint for finite sequences of variables

G Pesant

Commentary

2003: Efficient CNF encoding of boolean cardinality constraints

O Bailleux, Y Boufkhad

Commentary

2002: Breaking row and column symmetries in matrix models

P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh

Commentary

2001: The traveling tournament problem description and benchmarks

K Easton, G Nemhauser, M Trick

Commentary

2000: Sat v csp

T Walsh

Commentary

1999: CSPLib: a benchmark library for constraints

IP Gent, T Walsh

Commentary

1998: Using constraint programming and local search methods to solve vehicle routing problems

P Shaw

Commentary

1997: Distributed partial constraint satisfaction problem

K Hirayama, M Yokoo

Commentary

1996: MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems

C Bessiere, JC Régin

Commentary

1995On similarity queries for time-series data: constraint specification and implementation

DQ Goldin, PC Kanellakis

Commentary

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s