Welcome to the ACP on Association for Constraint Programming

Volume 0, Number 1, April 2004

Sat, 25 Jul 2026 15:06:10 +0200

Constraint Programming News

volume 0, number 1, April 2004

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: CP05, CP06, CP elections ..
publications: PhD theses, recent books
events: forthcoming conferences and workshops
career news: job adverts
reports: AI&Maths 04
profiles: Nantes

News

Welcome to the first number of CP News, an initiative of the CP organizing committee. We aim to provide a comprehensive summary of important news in the area of constraint programming. The newsletter will be published quarterly on 1st January, 1st April, 1st July, 1st October. Please email the relevant editor with any news, event, report or profile you want published.

Volume 0, Number 2, July 2004

Sat, 25 Jul 2026 15:06:10 +0200

Constraint Programming News

volume 0, number 2, July 2004

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: CP elections, CP online, CP AI OR, AFPC
publications: PhD theses, recent books, special issues, web resources
events: forthcoming conferences and workshops
career news: job adverts
reports: FLAIRS 2004
profiles: DEIS, Bologna

News

Welcome to the second number of CP News, an initiative of the CP organizing committee. We aim to provide a comprehensive summary of important news in the area of constraint programming. The newsletter will be published quarterly in January, April, July, and October. Please email the relevant editor with any news, event, report or profile you want published. To subscribe, please register here.

Volume 0, Number 3, October 2004

Sat, 25 Jul 2026 15:06:10 +0200

Constraint Programming News

volume 0, number 3, Oct 2004

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: CP elections
publications: PhD theses, recent books, special issues, new online journals
events: forthcoming conferences and workshops
career news: postdoc position
reports: ECAI 2004 workshop on modelling and solving with constraints
profiles: AFPC/JFPC

News

Welcome to the third number of CP News, an initiative of the CP organizing committee. We aim to provide a comprehensive summary of important news in the area of constraint programming. The newsletter will be published quarterly in January, April, July, and October. Please email the relevant editor with any news, event, report or profile you want published. To subscribe, please register here.

Volume 1, Number 0, January 2005

Sat, 25 Jul 2026 15:06:09 +0200

Constraint Programming News

volume 1, number 0, Jan 2005

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: CP online, CP 2005
publications: books, PhD theses, online journals, special issues, software
events: forthcoming conferences and workshops
career news: Postdoc and PhD jobs at Montpellier, PARC, Namur, NICTA (Melbourne), Vidus (Ipswich), KTH (Stockholm), IRST (Trento)
reports: Workshop on Graph and Hypergraph Decompostions
profiles: Lisbon Constraint Programming Group

News

Welcome to the second year of CP News, an initiative of the CP organizing committee. We aim to provide a comprehensive summary of important news in the area of constraint programming. The newsletter is published quarterly in January, April, July, and October. Please email the relevant editor with any news, event, report or profile you want published. To subscribe, please register here.

Volume 1, Number 1, April 2005

Sat, 25 Jul 2026 15:06:08 +0200

Constraint Programming News

volume 1, number 1, Apr 2005

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: CP elections, CP Summer School, CP 2005 and (sneak preview of) CP 2006
publications: books, PhD theses, special issues, web resources, software
events: forthcoming conferences and workshops
career news: Postdoc position with CoCoA Team, Actenum

News

Volume 1, Number 2, July 2005

Sat, 25 Jul 2026 15:06:08 +0200

Constraint Programming News

volume 1, number 2, Jul 2005

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC Elections, CP Summer School, Next CP Conferences, CP 2005 Call for Demo
CONSTRAINTS journal accepted papers
other publications: papers, books, journal, special issues, software
events: forthcoming conferences and workshops
career news: New MSc, PhD, and Postdoc positions
report: CP-AI-OR 2005 (by Michela Milano)
profile: Microsoft Research, Cambridge

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 1, Number 3, October 2005

Sat, 25 Jul 2026 15:06:07 +0200

Constraint Programming News

volume 1, number 3, Oct 2005

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP Awards, ACP EC Elections, Next CP Conferences, CONSTRAINTS Journal Call for Papers
CONSTRAINTS journal accepted papers
other publications: books, special issues, software
events: forthcoming conferences and workshops
career news: Young Research programme, and Postdoc and Associate/Visiting Researcher position
reports: CP Summer School, and IJCAI'05 Workshop on Modelling and Solving Problems with Constraints
profile: CLP Group at CharlesUniversity, Prague

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 2, Number 0, January 2006

Sat, 25 Jul 2026 15:06:07 +0200

Constraint Programming News

volume 2, number 0, Jan, 2006

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP News, AAAS Fellow, CP-2005 Pictures, CONSTRAINTS Journal New Policy on Originality, ACP Summer School 2006, CP 2006, CP 2007
CONSTRAINTS journal accepted papers
other publications: book, phd theses, special issues, LMCS, TPLP Special Issue in CHR, book review, software
events: forthcoming conferences and workshops
career news: Doctoral, Postdoc, Researcher, and Intern positions
reports: CHR 2005 Second Workshop on Constraint Handling Rules
profile: ASTRA Research Group at Uppsala University, Sweden

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 2, Number 1, April 2006

Sat, 25 Jul 2026 15:06:04 +0200

Constraint Programming News

volume 2, number 0, Jan, 2006

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP News, ACP Summer School 2006, CP 2006, CP 2007, CP-AI-OR, ERCIM Workshop on Constraints, Yahoo! Discussion Group on Constraints
CONSTRAINTS journal accepted papers
other publications: book, phd theses, special issues, book review, software
events: forthcoming conferences and workshops
career news: Doctoral, Postdoc, Researcher, and Intern positions

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 2, Number 2, July 2006

Sat, 25 Jul 2026 15:06:04 +0200

Constraint Programming News

volume 2, number 2, Jul, 2006

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP News, CP 2006 Call For Participation, Workshop “the next 10 years of CP”, Call for Proposal ICLP 2007, CP 2007
CONSTRAINTS journal accepted papers
other publications: special issues, software
events: forthcoming conferences and workshops
career news: Doctoral, Postdoc, Researcher, and Intern positions
Profile: CHR at Leuven

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 3, Number 0, January 2007

Sat, 25 Jul 2026 15:06:03 +0200

Constraint Programming News

volume 3, number 0, January, 2007

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: including ACP News
CONSTRAINTS journal accepted papers
other publications: books, thesis, special issues, software
events: forthcoming conferences and workshops
career news: Doctoral, Postdoc, Researcher, and Intern positions

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

We aim to provide a comprehensive summary of important news in the area of constraint programming. The newsletter is published quarterly in January, April, July, and October. Please email the relevant editor with any news, event, report or profile you want published. To subscribe, please register here.

Volume 3, Number 1, April 2007

Sat, 25 Jul 2026 15:06:01 +0200

Constraint Programming News

volume v3, number n1, April 2007

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC news, ACP Award, …
publications: CONSTRAINTS, Books, Special Issues, Softwares
events: conferences, workshops
career news: job opportunities, PhD scholarships, Post-doctoral positions, …

News

ACP EC news: January 1st to March 31th, 2007

This is a short summary of the activities of the ACP EC during the months January-March 2007.

Volume 3, Number 2, July 2007

Sat, 25 Jul 2026 15:06:00 +0200

Constraint Programming News

volume 3, number 2, July 2007

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC news, Dechter wins ACP award, AFPC
publications: Constraint journal, PhD theses, recent books, special issues, web resources.
events: forthcoming conferences and workshops
career news: job adverts

News

ACP EC

This is a short summary of the activities of the ACP EC during the months April-June 2007.

Volume 3, Number 3, October 2007

Sat, 25 Jul 2026 15:06:00 +0200

Constraint Programming News

volume 3, number 3, Oct 2007

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP news, call for proposals for ACP summer school
publications: Constraint journal, special issues
events: forthcoming conferences and workshops
career news: job adverts
reports: 1st workshop on autonomous search

News

Association for Constraint Programming

This is a short summary of activities within the ACP during the months July-September 2007.

Volume 4, Number 0, January 2008

Sat, 25 Jul 2026 15:06:00 +0200

Constraint Programming News

volume 4, number 0, Jan 2008

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP activities, LNCS listed in ISI Proceedings, 4C wins awards, call for proposals for CP-09, ICAPS-10.
publications: Constraint journal, PhD theses, books, …
events: forthcoming conferences and workshops
career news:PhD and Masters awards, PostDocs, Faculty positions

News

Association of Constraint Programming (ACP): October 1st-December 30th, 2007

Dear ACP Members,

Volume 4, Number 1, April 2008

Sat, 25 Jul 2026 15:05:58 +0200

Constraint Programming News

volume 4, number 1, Apr 2008

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, 4C news, ICAPS call for nominations, Compulog/ALP summer school
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: phd theses, books, software
special issues cfps
events: forthcoming conferences and workshops
career news: new MSc, PhD and Postdoc positions, lectureship positions

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 4, Number 2, July 2008

Sat, 25 Jul 2026 15:05:57 +0200

Constraint Programming News

volume 4, number 2, Jul 2008

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, honours to members of the CP community, ICAPS 2010 call for proposals, Minion Users Group Call for Members, News from the AFPC
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: books, software
special issues cfps
events: forthcoming conferences and workshops
career news: new PhD and Postdoc positions
report: SAT-Race 2008 by Carsten Sinz

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 4, Number 3, October 2008

Sat, 25 Jul 2026 15:05:56 +0200

Constraint Programming News

volume 4, number 3, Oct 2008

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, 4C news, EURO Excellence in Practice Award 2009, Honours to members of the CP Community, Graduate course: Comet and Constraint Programming
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications : books, software
special issues cfps: forthcoming special issues deadlines
events: forthcoming conferences and workshops
career news: new PhD, Postdoc , and faculty positions

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 5, Number 0, January 2009

Sat, 25 Jul 2026 15:05:55 +0200

Constraint Programming News

volume 5, number 0, Jan 2009

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, DoctoralSchool on Algorithmic Decision Theory, European Master Program in Computational Logic
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: book, PhD thesis, software
special issues cfps: forthcoming special issues deadlines
events: forthcoming conferences and workshops
career news: new PhD, Postdoc, and scholarships opportunities
report:

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 5, Number 1, April 2009

Sat, 25 Jul 2026 15:05:55 +0200

Constraint Programming News

volume 5, number 1, April 2009

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, DoctoralSchool on Algorithmic Decision Theory, European Master Program in Computational Logic.
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: book, PhD thesis, software
special issues cfps: forthcoming special issues deadlines
events: forthcoming conferences and workshops
career news: new PhD, Postdoc, and scholarships opportunities
report:

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 5, Number 2, July 2009

Sat, 25 Jul 2026 15:05:54 +0200

Constraint Programming News

volume 5, number 2, July 2009

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, AFPC, EPTCS, Math programming glossary
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: book, PhD thesis, software
special issues cfps: forthcoming special issues deadlines
events: forthcoming conferences and workshops
career news: new PhD, Postdoc, and scholarships opportunities

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 5, Number 3, October 2009

Sat, 25 Jul 2026 15:05:54 +0200

Constraint Programming News

volume 5, number 3, October 2009

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, CONSTRAINTS: New Editor-in-Chief
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: book, PhD thesis, software
events: forthcoming conferences and workshops
career news: new PhD, Postdoc, and scholarships opportunities

News

Welcome to CP News, an initiative of the Association for Constraint Programming.

Volume 6, Number 0, January 2010

Sat, 25 Jul 2026 15:05:53 +0200

Constraint Programming News

volume 6, number 0, January 2010

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, other news
CONSTRAINTS journal accepted papers
Constraint Programming Letters journal accepted papers
other publications: book, PhD thesis, software
events: forthcoming conferences and workshops
career news: new PhD, Postdoc, and scholarships opportunities

News

Welcome to CP News, an initiative of the Association for Constraint Programming

Volume 6, Number 1, April 2010

Sat, 25 Jul 2026 15:05:53 +0200

Constraint Programming News

volume 6, number 1, April 2010 (published in May 2010)

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, other news
journals: accepted papers
other publications: book, PhD thesis, software
events: forthcoming conferences and workshops
career news: postdocs and other opportunities

News

This is a short summary of activities within the ACP during the months January-March 2010.

The 2010 ACP Executive Committee comprises the following people, in alphabetical order (officers identified)::

Volume 6, Number 2, July 2010

Sat, 25 Jul 2026 15:05:53 +0200

Constraint Programming News

volume 6, number 2, July 2010

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: report from the ACP EC, other news
CONSTRAINTS journal accepted papers
other publications: book, PhD thesis, software
events: forthcoming conferences and workshops
career news

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

This is a short summary of activities within the ACP during the months April-June 2010.

The 2010 ACP Executive Committee comprises the following people:

Volume 6, Number 3, October 2010

Sat, 25 Jul 2026 15:05:51 +0200

Constraint Programming News

volume 6, number 3, October 2010

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: Association for Constraint Programming, various calls for awards, Constraints journal announcement, accepted papers
publications: software
special issues cfps: forthcoming special issues deadlines
events: forthcoming conferences and workshops
career news: jobs

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

This is a short summary of activities within the ACP during the months
July-September 2010.

Volume 7, Number 0, January 2011

Sat, 25 Jul 2026 15:05:50 +0200

Constraint Programming News

volume 7, number 0, January 2011

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP, CSCLP
journals: Constraints, special issues
events: summer schools, forthcoming conferences and workshops
career news: jobs

News

This is a short summary of activities within the ACP during the months October-December 2010.

ACP.1. Changes to the ACP Executive Committee

The 2011 Executive Committee comprises the following members (along with their elected terms):

Volume 7, Number 1, April 2011

Sat, 25 Jul 2026 15:05:50 +0200

Constraint Programming News

volume 7, number 1, April, 2011

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP
journals: Constraints
other publications: books
events: forthcoming conferences and workshops
career news: jobs

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months January-March 2011.

ACP.1. The 2011 ACP Executive Committee

The 2011 ACP Executive Committee comprises the following people, in alphabetical order (officers identified):

Volume 7, Number 2, July 2011

Sat, 25 Jul 2026 15:05:50 +0200

Constraint Programming News

volume 7, number 2, July, 2011

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP
journals: Constraints
special issues cfps: forthcoming special issues deadlines
books: PhD/HDR, books
events: forthcoming conferences and workshops
career news: jobs

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months April-June 2011.

The 2011 ACP Executive Committee comprises the following people, in alphabetical order (officers identified):

Volume 7, Number 3, October 2011

Sat, 25 Jul 2026 15:05:46 +0200

Constraint Programming News

volume 7, number 3, October, 2011

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP
journals: Constraints
events: forthcoming competition, conferences and workshops
career news: jobs

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months July-September 2011.

The 2011 ACP Executive Committee comprises the following people, in alphabetical order (officers identified):

Volume 8, Number 0, January 2012

Sat, 25 Jul 2026 15:05:40 +0200

Constraint Programming News

volume 8, number 0, January, 2012

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC Report, Call for Nominations
journals: Constraints
special issues cfps: forthcoming special issues deadlines
events: forthcoming competition, conferences and workshops
career news: jobs
profiles: Optimisation @ NICTA

News

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months October-December 2011.

Volume 8, Number 1, April 2012

Sat, 25 Jul 2026 15:05:40 +0200

Constraint Programming News

volume 8, number 1, April, 2012

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC Report
journals: Constraints
publications: recent books
events: forthcoming competition, conferences and workshops
career news: jobs

NEWS

REPORTFROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

January-March 2012

This is a short summary of activities within the ACP during the months January-March 2012.

The 2012 ACP Executive Committee comprises the following people, in alphabetical order (officers identified):

Volume 8, Number 2, July 2012

Sat, 25 Jul 2026 15:05:39 +0200

Constraint Programming News

volume 8, number 2, July, 2012

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC Report, CONSTRAINT Journal, CP 2012 Call for Position Papers
journals: Constraints, Constraint Programming Letters
publications: software
events: forthcoming competition, conferences and workshops
career news: jobs

NEWS

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months April-June 2012.

Volume 9, Number 0, January 2013

Sat, 25 Jul 2026 15:04:53 +0200

Constraint Programming News

volume 9, number 0, January, 2013

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

Due to unforeseen circumstances, there was no 4th issue of the Constraint Programming News (v8n3) in 2012.

news: ACP EC Report, other news
journals: Constraints Journal, Special issues
publications: thesis, software
events: forthcoming conferences and workshops
career news: jobs

NEWS

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.4c.ucc.ie/a4cp/

This is a short summary of activities within the ACP during the months July-October 2012.

Volume 9, Number 1, April 2013

Sat, 25 Jul 2026 15:04:53 +0200

Constraint Programming News

Editors: Jimmy Lee (events, career news) Eric Monfroy (profiles, publications) Toby Walsh (news, reports)

news: ACP EC Report, other news
journals: Constraints Journal, Special issues
publications: thesis, software
events: forthcoming conferences and workshops

NEWS

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.a4cp.org

This is a short summary of activities within the ACP during the months January-March 2013.

The 2013 ACP Executive Committee comprises the following people, in alphabetical order. The committee has held internal elections for the different offices: Helmut Simonis was elected to be the new president of the ACP. The other officers are identified below:

Volume 10, Number 0, January 2014

Sat, 25 Jul 2026 15:04:52 +0200

Constraint Programming News

Editors:

Guido Tack, Pedro Meseguer, Pierre Schaus, Roland Yap

editorial
news: ACP report
papers with impact: a new series
publications: new papers in the Constraints journal
career news: jobs and scholarships
events: upcoming conferences and deadlines

Editorial

This first issue of CP News for 2014 comes with a few changes! First of all, we have a new team assembled – Guido, Pedro, Pierre and Roland will from now on compile the news every quarter.

Volume 9, Number 2, July 2013

Sat, 25 Jul 2026 15:04:52 +0200

Constraint Programming News

volume 9, number 2, July, 2013

Editor: Guido Tack

Due to ongoing reorganisation of CP News, this issue only contains the ACP EC Report.

NEWS

REPORT FROM THE ASSOCIATION FOR CONSTRAINT PROGRAMMING

http://www.a4cp.org

This is a short summary of activities within the ACP during the months April-June 2013.

The 2013 ACP Executive Committee comprises the following people, in alphabetical order.

Yves Deville
Pierre Flener - Conference Coordinator (after CP 2013)
Willem-Jan van Hoeve - Secretary
Barry O’Sullivan (ex-officio, non-voting)
Thomas Schiex - Treasurer
Helmut Simonis - President
Guido Tack
Roland Yap

The ACP Executive Committee welcomes feedback and suggestions from the ACP community. We encourage you to engage with the ACP-EC to help design new initiatives that promote constraint programming.

Volume 9, Number 3, October 2013

Sat, 25 Jul 2026 15:04:52 +0200

Constraint Programming News

Editor: Guido Tack

Editorial

You may have noticed that there have not been any updates to the Constraint Programming News since the beginning of the year. Our previous editors, Jimmy Lee, Eric Monfroy, and Toby Walsh handed their duties over to the ACP EC after many years of service to the community. We would like to thank them for the great effort and time they put in to keep us all up to date!

Volume 10, Number 1, April 2014

Sat, 25 Jul 2026 15:04:51 +0200

Constraint Programming News

Editors:

Guido Tack, Pedro Meseguer, Pierre Schaus, Roland Yap

editorial
news: ACP report
papers with impact (by Gilles Pesant)
other news: publications, jobs, events

Editorial

This is the second issue of CP News for 2014.

As always, we have the latest updates from the ACP Executive Committee. There are a few close deadlines in the report, such as May 12 for proposing tutorials for CP 2014, May 18 for community input to the new Strategic Committee, and May 25 for applications to this year’s summer school.

Volume 10, Number 2/3, October 2014

Sat, 25 Jul 2026 15:04:51 +0200

Constraint Programming News

Editors:

Guido Tack, Pedro Meseguer, Pierre Schaus, Roland Yap

editorial
news: ACP report for Q2/3 2014
New initiative: Archiving CP-related PhD theses
CP Archive on the ACP web site
New CSPLib web site
MiniZinc challenge 2014 results
other news: publications, jobs, events (now with RSS feeds!)

Editorial

This is the combined issue 2 and 3 of CP News for 2014.

In this issue, you find the latest news from the ACP Executive Committee (as usual). Two items to highlight: the results of the ACP EC elections have been published, and the EC is still looking for proposals to host the 2015 ACP Summer School.

Volume 11, Number 0, January-March 2015

Sat, 25 Jul 2026 15:04:51 +0200

Constraint Programming News

Editors:

Guido Tack, Pedro Meseguer, Pierre Schaus, Roland Yap

editorial
news: ACP report for Q4 2014
Constraints journal: Now publishing thesis abstracts
Papers with impact (by Jean-François Puget)

Editorial

Welcome to the first issue of the Constraint Programming Newsletter for 2015.

Reminder: You have to renew your membership if you want to remain a member of the ACP. Not a member yet? It’s easy to sign up!

In this issue we can announce a new initiative of the ACP and the Constraints journal, publishing annual collections of thesis abstracts. Furthermore, we have the third article in our series on classic papers with impact.

Policies

Sat, 25 Jul 2026 15:04:50 +0200

Volume 11, Number 1, April-June 2015

Sat, 25 Jul 2026 15:04:50 +0200

Constraint Programming News

Editors:

Guido Tack, Pedro Meseguer, Pierre Schaus, Roland Yap

editorial
news: ACP reports for Q1/Q2 2015
reports: CP-AI-OR 2015 in Barcelona
Papers with impact (by Mark Wallace)
thesis archive: Final call to submit thesis abstracts for Constraints
new initiative: CP Success Stories
CSPLib sprint at CP 2015: Make a contribution to CSPLib

Editorial

Welcome to issue 1 of the CP Newsletter for 2015.

This time, the newsletter features a short summary of CP-AI-OR 2015, and we have a new article in our series on “papers with impact”, kindly contributed by Mark Wallace.

Election Results

Sat, 25 Jul 2026 15:04:49 +0200

Policies

Sat, 25 Jul 2026 15:04:49 +0200

1. Bidding for the Conference Organisation

The ACP Executive Committee (EC) holds the annual International Conference on Principles and Practice of Constraint Programming (CP). If you are interested in organising a future CP conference, then you need to make a proposal to the Conference Coordinator of the EC (helene.verhaeghe@uclouvain.be). A proposal consists of volunteering to be Conference Chairs (CC) of the conference and to be responsible for the budget and local arrangements in the proposed city.

Constraints - Volume 29, Issue 3-4

Sat, 25 Jul 2026 15:04:48 +0200

December 2024

Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver
Tom Marty, Léo Boisvert, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau & Quentin Cappart
video

Invariant polydiagonal subspaces of matrices and constraint programming
John M. Neuberger, Nándor Sieben & James W. Swift
video

Computing aperiodic tiling rhythmic canons via SAT models
Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto & Ludovico Pernazza
video in progress

Ner4Opt: named entity recognition for optimization modelling from natural language
Serdar Kadıoğlu, Parag Pravin Dakle, Karthik Uppuluri, Regina Politi, Preethi Raghavan, SaiKrishna Rallabandi & Ravisutha Srinivasamurthy
video

Constraints - Online First Articles

Sat, 25 Jul 2026 15:04:47 +0200

Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver
Oleg Zaikin
video

Evaluating new methods for improving performance of algorithms for enumerating maximally feasible and minimally infeasible sets of constraints
Daiwen Zhang, Amy E.M. Cohn & Marina A. Epelman
video in progress

Optimizing multiple-control Toffoli quantum circuit design with constraint programming
Jihye Jung, Kevin Dalmeijer and Pascal Van Hentenryck
video in progress

Constraints - Volume 30, Issue 1-4

Sat, 25 Jul 2026 15:04:47 +0200

December 2025

Solving logic-based benders decomposition master problems with constraint programming and domainindependent dynamic programming
Jiachen Zhang & Christopher Beck
video in progress

Word equations in synergy with regular constraints (extended version)
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál & Juraj Síč
video in progress

Solutions and minimal conflict search for product configuration: a case study
Sebastian Velten & Christopher Hamkins
video

MiniZinc with objects
Guido Tack, Richard Comploi-Taupe, Andreas Falkner & Gottfried Schenner
video in progress

Constraints Journal Thirtieth Anniversary Special Issue

Sat, 25 Jul 2026 15:04:47 +0200

This issue includes “Commentaries” on some of the most highly-cited papers published in the journal.

We are posting Commentaries as they become available. The issue is not yet complete.

Revisited: solving hard qualitative temporal reasoning problems
Bernhard Nebel
video in progress

Semiring–based and valued CSPs revisited
Stefano Bistarelli and Hélène Fargier and Francesca Rossi and Thomas Schiex
video in progress

Utilizing simple tabular reduction wisely
Christophe Lecoutre
video in progress

Positions available at Monash University (tenured and postdoc)

Sat, 25 Jul 2026 15:04:41 +0200

The optimization group at Monash University has a long history of important contributions to the science of modelling and optimization. It is the centre of development of the widely used modelling language MiniZinc (www.minizinc.org). It also was responsible for the development of the CP and SAT hybrid solving methodology, lazy clause generation (LCG), which defines the state of the art for many discrete optimization problems.

https://www.monash.edu/it/data-science/optimisation/

The optimization group is expanding. We have two tenure-track teaching and research positions currently advertised, see

Post-doc position in Nantes, France

Sat, 25 Jul 2026 15:04:41 +0200

An 18-month Post-Doctoral position is available at the University of Nantes, France, in the Coverif project, about Constraint Programming (CP) with/for Abstract Interpretation (AI). http://www.anr-coverif.fr/

The main task of the post-doc will be to develop the AbSolute solver, which relies on abstract domains, as defined in Abstract Interpretation, for constraints. We are looking for highly motivated researchers with a strong background either in constraint programming (in particular global constraints) or in abstract interpretation/verification (in particular numerical or logical domains). The AbSolute solver is in OCaml, thus, a knowledge of functional programming would be a plus.

U. of Toronto Faculty Opening in Industrial Engineering: Machine Learning/AI/OR

Sat, 25 Jul 2026 15:04:41 +0200

We are excited to announce a tenure stream faculty opening in Industrial Engineering at the U. of Toronto.

Specifically, we seek candidates who demonstrate research excellence in the development and application of Machine Learning (ML) and Artificial Intelligence (AI) methodologies for Operations Research (OR).

The full job postings are here (there is one position with applications accepted at either level):

Assistant Professor: https://tinyurl.com/ydbk5en5
Associate Professor: https://tinyurl.com/yacw66yo

Applications close Nov 20, 2018.

IMT ATLANTIQUE: tenured Full Professor position in Data and Decision Science

Sat, 25 Jul 2026 15:04:40 +0200

IMT ATLANTIQUE
campuses in Brest, Nantes and Rennes, France
call for applications for a tenured Full Professor position in Data and Decision Science
http://www.imt-atlantique.fr
The date on which the position is taken up: 01/09/2020

IMT Atlantique is a leading French engineering school (Grande Ecole, a sort of Ivy League School). It is ranked among the top 400 universities in the world in THE World University Ranking 2019, present in four themes of the Shanghai ranking, and is in top 25 in U-Multirank on the number of joint publications with industrial partners. The School is a part of the National Institute of Science and Technology “Institut Mines-Télécom” (IMT).

PostDoc Position in automated reasoning (Toulouse, France)

Sat, 25 Jul 2026 15:04:40 +0200

In the framework of Toulouse’s Interdisciplinary Institute for AI, we are looking for a candidate PostDoc to work on propositional reasoning with logic, constraints, preferences, and probabilities using graphical models (from constraint programming and SAT to Markov Random Fields and Bayes Nets).

The PostDoc will be involved in the development of our award-winning discrete optimization C++ solver, Toulbar2, including its parallelization, the integration of machine learning technology for improved guidance, its extension to tackle problems “beyond NP” with direct applications in Computational Protein Design, with potential impactful contributions in Health, Green Chemistry and Nanotechnologies, among others.

Full professorship in Theoretical Computer Science at the University of Copenhagen

Sat, 25 Jul 2026 15:04:39 +0200

The Department of Computer Science at the University of Copenhagen is seeking candidates for a full professorship in Theoretical Computer Science (TCS). More specifically, we are inviting exceptional candidates from the broad fields of algorithms, complexity, and cryptography including privacy.

We are looking for an outstanding, experienced researcher with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section, headed by Professor Mikkel Thorup. The Algorithms and Complexity Section is part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen, and involving extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.

Postdoc position

Sat, 25 Jul 2026 15:04:39 +0200

A Postdoc position is available at the Chair of Artificial Intelligence, Prof. Jana Koehler (https://jana-koehler.dfki.de/), starting in Spring 2020. The applicant´s research should center around one of the following fields: planning, search algorithms, constraint reasoning, decision and game theory, reinforcement learning.

The position is financed from general funds and thus not bound to a project. The successful candidate is expected to actively pursue an academic career and to define her/his own research agenda in accordance with the topics addressed at the chair of AI and the related research area Algorithmic Business and Production at DFKI (https://www.dfki.de/abp)

Research Engineer on Constraint Programming

Sat, 25 Jul 2026 15:04:39 +0200

The Research Center in Paris is responsible for advanced research in the fields of Algorithm and Software design, Parallel Computing, Aesthetics, MBB, IOT & Home device, to create and design the innovative technologies and software platforms.

The Declarative Computing research team in the Paris Research Center is seeking applications for a 1- year development position. The position aims to participate to the development of a constraint solver.

Responsibilities

Develop and implement highly optimized Constraint Solving techniques, like search algorithms
and propagation algorithms.
Develop and implement Constraint Programming heuristics.
Develop and implement Constraint Programming applications.
Improve software engineering practices to get high quality software.
Write documentation.

Qualifications

PhD Position in Montréal, Canada and Nantes, France

Sat, 25 Jul 2026 15:04:38 +0200

A fully-funded PhD position is open at IMT-A in Nantes, France and Polytechnique Montréal, Canada, on Constraint-based pattern mining. The PhD candidate will develop new methods for sampling and counting for interactive and anytime pattern discovery.

A full description is available here: https://www.normalesup.org/~truchet/Docs/Prov/2022_IMT_offres_theses_sujet9.pdf

Two funded PhD positions on Epistemic AI (constraint programming or reinforcement learning) at TU Delft - deadline 28 February

Sat, 25 Jul 2026 15:04:38 +0200

TU Delft (Netherlands) offers two fully-funded PhD positions as part of the EU FET Open project Epistemic AI.

The first PhD candidate will develop novel approaches for combinatorial optimisation under epistemic uncertainty, with an emphasis on constraint programming. The second PhD candidate will develop novel reinforcement learning algorithms that aim for robust and safe behaviour in partially-known environments.

The project goal is to create a new paradigm for next-generation AI providing worst-case guarantees on its predictions thanks to a proper modelling of real-world uncertainties.

Reset your password

Sat, 25 Jul 2026 15:04:35 +0200

Username or email address

Password reset instructions will be sent to your registered email address.

CAPTCHA

This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.

2024 Quarterly Report 1

Sat, 25 Jul 2026 15:04:34 +0200

With the CP paper deadline now past, this quarterly report brings you updates about other tracks in the CP conference: a call for tutorials and doctoral program submissions, as well as the call for ACP Award nominations.

ACP.1 CP 2024 in Girona, Spain.

The 30th edition of the conference will take place from 2 to 6 September 2024 (mark your calendars…) in the lovely Girona in Catalonia, Spain.

Besides a main track, there will be 3 specialised tracks: Application track, CP and Machine Learning track, and CP and Quantum Computing track.

2024 Quarterly Report 2

Sat, 25 Jul 2026 15:04:34 +0200

The past 3 months have been busy months for CP researchers, with the CP paper notification (accepted papers at https://cp2024.a4cp.org/accepted_papers.html), with the CP workshops calling for submissions and sending out notifications (workshop overview: https://cp2024.a4cp.org/workshops.html) and more. This has been announced on the CP2024 website https://cp2024.a4cp.org/ and its socials, as well as the constraints google group.

ACP.1: CP 2024 in Girona, Spain

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This is the 30th version of the CP series organized by the Association for Constraint Programming.

Executive Committee Decisions

Sat, 25 Jul 2026 15:04:34 +0200

2024 Quarterly Report 3

Sat, 25 Jul 2026 15:04:33 +0200

This quarterly report brings you reports on the CP conference including the awards handed out, the general assembly and new ACP members, a call for DEI representatives and more.

[Reminder: please renew your free ACP membership by logging in on /user/login and in menu ‘Your Membership > Renew membership’ pressing the button ‘Renew membership’]

ACP.1: CP 2024 in Girona

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This was the 30th version of the CP series organized by the Association for Constraint Programming.

2024 Quarterly Report 4

Sat, 25 Jul 2026 15:04:33 +0200

In this quarterly report 4, we provide updates on AAAI Bridge and the coming two CP conferences.

AAAI25 Bridge

Eugene Freuder and Barry O’Sullivan are organizing the AAAI-25 Constraint Programming and Machine Learning Bridge, part of the AAAI-25 Bridge Program.

The focus will be on bringing together the traditional AI fields of constraint-based reasoning and machine learning, but participants from related fields of reasoning, optimization and learning, e.g. SAT, operations research, data mining, will be welcome.

2025 Quarterly Report 1

Sat, 25 Jul 2026 15:04:33 +0200

In this quarterly report 1, we provide updates on the ACP Executive Committee, the ACP Summer School 2025, and the calls for awards and bids for CP 2027 and ACP Summer School 2026!

ACP.1: Executive Committee Update

The ACP held elections last year to replace four outgoing members of the Executive Committee (EC).

We as a community greatly thank outgoing members David Bergman (president), Tias Guns (secretary), Zeynep Kiziltan (DEI delegate), and Chris Beck (past president).

2025 Quarterly Report 2

Sat, 25 Jul 2026 15:04:32 +0200

This quarterly report contains reminders on the ACP Summer School and CP conference 2025.

ACP.1: CP 2025 in Glasgow, Scotland

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This is the 31st version of the CP series organized by the Association for Constraint Programming.

2025 Quarterly Report 3

Sat, 25 Jul 2026 15:04:32 +0200

This quarterly report brings you reports on the CP conference, including the awards handed out and the general assembly, the ACP Summer School, and more.

ACP.1: CP 2025 in Glasgow

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This was the 31st version of the CP series organized by the Association for Constraint Programming.

2025 Quarterly Report 4

Sat, 25 Jul 2026 15:04:32 +0200

This quarterly report brings you reports on ACP membership, DEI opportunities, the next CP conference and the ACP Summer School.

ACP.1: ACP membership

As announced in the ACP General Assembly held at CP 2025, the Executive Committe has decided to tie ACP membership to CP conference and Summer School registrations, for three years, starting in 2025.

For members previously registered in the ACP website, membership will expire in three years unless they register to the CP conference or the Summer School.

2026 Quarterly Report 1

Sat, 25 Jul 2026 15:04:31 +0200

In this quarterly report 1, we provide updates on CP 2026, Summer School 2026, DEI opportunities, calls and much more.

ACP.1: CP 2026

The 32nd CP conference will take place in Lisbon, Portugal, from 20th to 23rd of July 2026, as part of FLoC 2026 (https://www.floc26.org/).

Registration is open! Early bid rates end on 15 May.

More information is available at https://cp2026.a4cp.org/

ACP.2: Summer School 2026

The ACP Summer School 2026 will be hosted by Jilin University and held in Changchun, China, August 24-28, 2026. It is organized by CP community members Peter Stuckey and Jimmy Lee.

2026 Quarterly Report 2

Sat, 25 Jul 2026 15:04:30 +0200

This quarterly report contains reminders on the ACP Summer School and CP conference 2026, and several calls.

ACP.1: CP 2026 in Lisbon, Portugal

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This is the 32nd version of the CP series organized by the Association for Constraint Programming.

CP Has Landed on the Comet

Sat, 25 Jul 2026 15:04:30 +0200

On June 13th 2015, the robot-lab Philae woke up on the comet 67P/Churyumov-Gerasimenko to resume a series of experiments interrupted seven months ago. These experiments were scheduled using Constraint Programming, and researchers of the team ROC developed propagation algorithms to help the Scientific Operations and Navigation Centre (SONC) to efficiently achieve this task. The Rosetta/Philae mission was launched in 2004 and it took more than ten years for the spacecraft, Rosetta, to reach its destination after a 6 billion kilometres long trip. On November 12th 2014, the lander module, Philae, was released and landed on the ground of the comet. Philae is fitted with ten instruments (see Figure 1) to conduct the experiments elaborated by as many research teams across Europe. These experiments, should they be imaging (CIVA, ROLIS), sampling (SD2, COSAC, PTOLEMY) or other types of signal analysis, correspond to sequences of activities constrained by two extremely scarce resources:

Outperforming state-of-the-art compilers in Unison

Sat, 25 Jul 2026 15:04:30 +0200

Do you want to improve the quality of your code? Unison is a code generator for compilers with a radically new approach. Unison rethinks code generation using combinatorial optimization techniques. Unison is available on Github and is integrated with the regular LLVM toolchain.

A compiler is a program that transforms a source code from a high-level programming language into a lower level language (e.g., assembly language) to create an executable program. Compilers decompose code generation into multiple tasks (instruction selection, instruction scheduling, and register allocation) and solve each task in isolation with heuristics. Unison pursues a radically different route: it embraces and exploits the combinatorial, interdependent nature of code generation to drastically improve code quality. In Unison, the inter dependent code generation tasks are translated into a single combinatorial model that accurately reflects all inter dependencies. Solving the model with constraint programming, a modern combinatorial optimization technology, results in the desired high-quality assembly code.

A CP solver designs a self-assembling protein

Sat, 25 Jul 2026 15:04:29 +0200

Designing a stable and self-assembling protein requires to organize thousands of atoms in a favorable configuration in space.

Researchers at INRA, Toulouse (France) worked in collaboration with biochemists in Belgium and Japan and used constraint programming technology, embodied in the toulbar2 solver, to optimize the intermolecular forces (captured by the Talaris14 force-field) of the full-atom representation of the targeted protein shape. Toulbar2 was able to identify a most stable molecular organization and to prove that no better organization exists.

From dreams to reality

Sat, 25 Jul 2026 15:04:29 +0200

You need to buy a new car and want to try out configurations to know what can be done or is affordable? It is now possible if your car dealer uses the SAP S/4HANA tool.

SAP builds its variant configuration engine in their S/4HANA platform on top of the constraint solver Gecode. The configuration engine’s role is to keep track of a range of values, how these are combined, and to ensure that only meaningful configurations are offered to users. To do so, it uses Gecode to ensure that combinations are valid and that no restrictions are violated.

Contact Information

Sat, 25 Jul 2026 15:04:27 +0200

You can also contact individual members of the ACP Executive Committee.

For questions concerning the web site, please send email to webmaster@a4cp.org.

Log in

Sat, 25 Jul 2026 15:04:27 +0200

Username

Enter your Association for Constraint Programming username.

Password

Enter the password that accompanies your username.

CP and CPAIOR Application Papers

Sat, 25 Jul 2026 15:03:47 +0200

1. Dispatching and Planning

Constraint-based In-Station Train Dispatching (CP 2025)
Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, and Mauro Vallati
Optimization of Short-Term Underground Mine Planning using Constraint Programming (CP 2023)
Younes Aalian, Gilles Pesant, Michel Gamache

2. Transportation

Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: a Constraint Programming Approach (CP 2025)
Duc Anh Le, Stéphanie Roussel, Christophe Lecoutre
Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective (CPAIOR 2025)
Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey

Publication Venues

Sat, 25 Jul 2026 15:03:36 +0200

Primary conferences

The International Conference on Principles and Practice of Constraint Programming (CP) is a central publishing and meeting place for CP research CP Conference series page
Another venue that has CP at its core is the International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research CPAIOR Conference series page

Primary journal

The Constraints journal provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed.

Solver

Sat, 25 Jul 2026 15:03:35 +0200

ACP Logo

Sat, 25 Jul 2026 15:03:34 +0200

If you would like to include the ACP logo for a web page, presentation slides or a publication (for example if you have received sponsorship from the ACP), please use one of the versions below.

Visual Preview

Downloads & File Attachments

Constraints Journal

Sat, 25 Jul 2026 15:03:34 +0200

Constraints, published by Springer, is the journal for our community. Through the generosity of Springer’s SharedIt program, we will also be providing access to the journal issues at this site, starting with Volume 29, Issues 3,4. In addition we will be providing here short introductory videos for the papers, provided by the authors.

Further information about the journal, earlier issues, a search facility, submission information, etc. is included in the Springer website for the journal, which can be found here.

Resources

Sat, 25 Jul 2026 15:03:34 +0200

Resource
CP Conference Index in DBLP
Constraints Journal - our page / Springer page
CSP Lib
Google Constraints Discussion Group
ACP YouTube Channel
CP Conference YouTube Channel
LinkedIn ACP Group
Eugene Freuder keeps a very extensive list of CP resources on pearltrees

General Assembly Archive

Sat, 25 Jul 2026 15:03:33 +0200

Here is an archive of the President’s Report at the yearly General Assembly, which is held during the CP conference.

2026: President’s Report
2025: President’s Report
2024: President’s Report
2023: President’s Report
2022: President’s Report
2021: President’s Report
2020: President’s Report
2019: President’s Report
2018: President’s Report
2017: President’s Report
2016: President’s Report
2015: President’s Report
2014: President’s Report
2013: President’s Report
2012: President’s Report
2011: President’s Report
2010: President’s Report
2009: President’s Report
2008: President’s Report
2007: President’s Report

File attachments

cp-dei-survey22.xls

Sponsorships & Donations

Sat, 25 Jul 2026 15:03:33 +0200

Dear Sponsor, Member or Event Organizer,

If you want or need to transfer money (donate, support one of our activities…) to the ACP, our preferred method is to rely on usual bank wire transfer. The ACP bank coordinates are available below:

Bank: La Banque Postale
Account owner: ASS FOR CONSTRAINT PROGR
Address: Place Foures - 31320 Castanet-Tolosan - FRANCE
IBAN: FR24 2004 1010 0908 7713 5D03 021
BIC: PSSTFRPPMON
Account: 0877135D

Please insert a few words along with the wire to explain the reason for this wire transfer (the event supported, who you are). If this is not possible or difficult, you can rely on credit card or Paypal payment through our PayPal Pro account. Note that Paypal takes a commission on the money sent (up to 3.4 percent marginal rate inside the Euro zone and more outside). Click on the button below which will redirect you to our Paypal Pro e-payment terminal.

2003 Election Results

Sat, 25 Jul 2026 15:03:23 +0200

The results of the 2003 elections was announced on September 10, 2003, and the new CP OC will be presented at the CP 2003 conference, which will be held in Kinsale, Ireland on September 29th - October 3rd, 2003. The 6 elected members of the new CP OC are the following CPers:

Krzysztof Apt,
Christian Bessiere,
Jean Francois Puget,
Peter Stuckey,
Mark Wallace,
and Toby Walsh. Congratulations to all of you! According to the rules, the new CP OC consists of such members plus the program and conference chairs of the current and past CP conference. Thus the complete new CP OC includes the following 10 members:
Krzysztof Apt
Christian Bessiere
James Bowen
Carla Gomes
Jean Francois Puget
Francesca Rossi
Peter Stuckey
Pascal Van Hentenryck
Mark Wallace
Toby Walsh The presentation of the new CP OC will be held during the CP 2003 conference (http://www.cs.ucc.ie/cp2003/), from 2:00pm to 2:15pm on Thursday, October 2nd, in Kinsale, Ireland.

Election Details

Number of Voters: 172 Number of Votes: 755

2004 Election Results

Sat, 25 Jul 2026 15:03:23 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new CP OC. The 2 elected members of the new CP OC are the following CPers:

Michela Milano
Jean Francois Puget

Congratulations to them! According to the rules, the new CP OC consists of such members plus the program and conference chairs of the current and past CP conference. The new CP OC consists of the following 10 members:

2005 Election Results

Sat, 25 Jul 2026 15:03:23 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new ACP. The 2 elected members of the new ACP EC are the following CPers:

Francesca Rossi
Barry O’Sullivan

Congratulations to them! According to the rules of the ACP, the new Executive Committee consists of the following 10 members:

Krzysztof Apt
Fahiem Bacchus
Javier Larrosa
Pedro Meseguer
Michela Milano
Barry O’Sullivan
Jean Francois Puget
Francesca Rossi
Peter Van Beek
Mark Wallace

Thanks to those who served on the ACP EC this last year and have now resigned according to the rules and good luck to those who just joined. The presentation of the new ACP will be held during the CP 2005 conference (http://www.iiia.csic.es/cp2005/), on Sunday, October 2, in Sitges, Spain. For any questions, you can contact Remi Coletta at coletta@lirmm.fr

2006 Election Results

Sat, 25 Jul 2026 15:03:22 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new ACP. The 4 elected members of the new ACP EC are the following CPers:

Christian Schulte
Michael Trick
Jean-Charles Regin
Jimmy H.M. Lee

Congratulations to them! According to the rules of the ACP, the new ACP Executive Committee consists of the following 12 members:

Frederic Benhamou
Narendra Jussien
Javier Larrosa
Jimmy H.M. Lee
Pedro Meseguer
Michela Milano
Barry O’Sullivan
Jean-Charles Regin
Francesca Rossi
Christian Schulte
Michael Trick
Peter Van Beek

Many thanks to F. Bacchus, K. Apt, and M. Wallace who have finished their term! For any questions, you can contact Remi Coletta at coletta@lirmm.fr

2007 Election Results

Sat, 25 Jul 2026 15:03:22 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new ACP EC. The two elected members of the new ACP EC are the following CPers:

Pedro Meseguer
Thomas Schiex

Congratulations to both of them! The new ACP Executive Committee consists of the following 8 members:

Christian Bessiere
Jimmy H.M. Lee
Pedro Meseguer
Barry O’Sullivan
Francesca Rossi
Thomas Schiex
Christian Schulte
Michael Trick

Many thanks to J. Larrosa, M. Milano, P. Van Beek, who have finished their term, as well as to F. Benhamou, N. Jussien, J.C. Regin, who did not finish their term but decided to resign in September 2007.

2008 Election Results

Sat, 25 Jul 2026 15:03:22 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new ACP EC members.

Bylaw 5 of the ACP Bylaws (see www.a4cp.org) dictates the election procedure and rules. 2008 is a transition year. In this election, we aimed to elect (a) three regular members to a four year term and (b) two interim members to a two year term. The top three elected candidates will serve as regular members of the EC (four year term), and the next two will serve as interim members (two year term). The five elected members of the new ACP EC are the following CPers:

2010 Election Results

Sat, 25 Jul 2026 15:03:21 +0200

The voting period is now finished. Thanks to all those who have taken the time to vote for the new ACP EC members. Bylaw 5 of the ACP Bylaws (see /) dictates the election procedure and rules. As set out in the ACP by-laws there was an election for four new EC members in 2010. Pedro Meseguer, Karen Petrie, Thomas Schiex, and Roland Yap were elected to terms ending in 2010. As set out in the bylaws an Election Committee was formed chaired by Jimmy Lee, Secretary to the ACP. The others members were: John Hooker, Barry O’Sullivan, and Peter Stuckey. The voting period was from August 1st to 31st, 2010. A total of 128 votes were received. The newly elected EC members are: Yves Deville, Thomas Schiex, Helmut Simonis, and Roland Yap; their terms run for four years from January 2011. On behalf of the ACP, the Executive Committee would like to congratulate those elected, and thank all the other candidates who took part in the election.

2012 Election Results

Sat, 25 Jul 2026 15:03:21 +0200

The voting period of the 2012 ACP EC election is over. Thanks to all those who have taken the time to vote for the new ACP EC members. Bylaw 5 of the ACP Bylaws (see www.a4cp.org) dictates the election procedure and rules. In this election, we aimed to run an election for three new regular members to a four-year term.

As set out in the bylaws, an Election Committee was formed and chaired by Jimmy Lee, Secretary to the ACP. The others members were: Yves Deville, Barry O’Sullivan, Helmut Simonis and Peter Stuckey. The voting period was from August 10th to 31st, 2012. A total of 86 votes were received. The newly elected EC members are confirmed by the Election Committee as follows (in alphabetical order):

2014 Election Results

Sat, 25 Jul 2026 15:03:21 +0200

The voting period of the 2014 ACP EC election is over. Thanks to all those who have taken the time to vote for the new ACP EC members. Bylaw 5 of the ACP Bylaws (see www.a4cp.org) dictates the election procedure and rules. In this election, we aimed to run an election for four new regular members to a four-year term.

As set out in the bylaws, an Election Committee was formed and chaired by Willem-Jan van Hoeve, Secretary to the ACP. The other members were Helmut Simonis and Guido Tack. The voting period was from August 1st to September 1st, 2014. The ACP had 261 members when the elections started, and a total of 152 votes were received. The result of the elections was as follows:

2016 Election Results

Sat, 25 Jul 2026 15:03:20 +0200

The voting period of the 2016 ACP EC election is over. Thanks to all those who have taken the time to vote for the new ACP EC members. Bylaw 5 of the ACP Bylaws dictates the election procedure and rules. In this election, we aimed to run an election for three new regular members to a four-year term.

As set out in the bylaws, an Election Committee was formed, consisting of Willem-Jan van Hoeve (Secretary to the ACP, chair) and Guido Tack. The voting period was from August 9th to September 1st, 2016. The ACP had 231 members when the elections started, and a total of 133 votes were received. The result of the elections was as follows:

2020 Election Results

Sat, 25 Jul 2026 15:03:20 +0200

The 2021 ACP Executive Committee (EC) comprises the following people:

Chris Beck - President
Emmanuel Hebrand - Conference Coordinator
Sophie Demassey - Treasurer
David Bergman - Secretary
Zeynep Kiziltan - Diversity, Equity and Inclusion Delegate
Tias Guns
Michele Lombardi
Maria Garcia de la Banda - Past President (ex-officio, non-voting)

The following ACP EC members left the ACP EC at the end of 2020 after having served their respective terms:

Laurent Michel (ex-officio, non-voting)
Claude-Guy Quimper
Charlotte Truchet

On behalf of the CP community, the EC thanks the outgoing members for their contributions and dedication during their service on the EC.

Results and statements for the ACP elections - 2018

Sat, 25 Jul 2026 15:03:20 +0200

Results

The election results were announced at the general assembly at CP 2018. The following candidates (in alphabetical order) were elected:

Sophie Demassey
Emmanuel Hebrard
Michele Lombardi
Christian Schulte

On behalf of the ACP, the Executive Committee would like to congratulate those elected, and thank all candidates who took part in the election.

The new ACP Executive Committee will start operating in January 2019 and consists of the following members (in alphabetical order):

2022 Election Results

Sat, 25 Jul 2026 15:03:19 +0200

The 2023 ACP Executive Committee (EC) comprises the following people:

David Bergman - President
Tias Guns - Secretary
Nadjib Lazaar - Treasurer (new, ex-officio)
Helene Verhaeghe - Conference Coordinator (new)
Zeynep Kiziltan - Diversity, Equity and Inclusion Delegate
Ines Lynce (new)
Gilles Pesant (new)
Chris Beck - Past President

The following ACP EC members left the ACP EC at the end of 2022 after having served their respective terms:

Sophie Demassey
Emmanuel Hebrand
Michele Lombardi

On behalf of the CP community, the EC thanks the outgoing members for their contributions and dedication during their service on the EC.

2024 Election Results

Sat, 25 Jul 2026 15:03:19 +0200

The following 4 new members were elected to serve in the Executive Committee for a period of 4 years:

Roland Yap, National University of Singapore
Nadjib Lazaar, University of Paris-Saclay
Miquel Bofill, University of Girona
Roie Zivan, Ben Gurion University of the Negev

They will replace the following 4 outgoing EC members:

David Bergman (President)
Tias Guns (secretary)
Chris Beck (past president)
Zeynep Kiziltan (DEI delegate).

The following members will continue to serve for another 2 years:

2026 Election

Sat, 25 Jul 2026 15:03:19 +0200

The 2026 ACP Executive Committee (EC) comprises the following people.

Officers (with starting year of term)

President: Gilles Pesant (2023)
Treasurer: Nadjib Lazaar (2025)
Secretary: Miquel Bofill (2025)
Conference Coordinator: Hélène Verhaeghe (2023)
Diversity, Equity and Inclusion Delegate: Ines Lynce (2023)
Communications: Roie Zivan (2025)

Other members (with starting year of term)

Past President: David Bergman (2021)
Roland Yap (2025)

The following ACP EC members will leave the ACP EC at the end of 2026 after having served their respective terms:

Bylaws (Règlement intérieur) of the ACP

Sat, 25 Jul 2026 15:03:18 +0200

Bylaw 1 - Membership

There shall be two categories of membership: Member and Honorary Member.
Each Member shall have one vote and will be entitled to vote with respect to the election of members of the Executive Committee and with regards to amendments to the bylaws of the Association. A Member may also stand for election to the Executive Committee.
One becomes a Member of the Association by either:
1. Paying an annual due as established by the Executive Committee, or
2. Being designated an Honorary Member of the ACP
Honorary membership is a lifetime membership. An Honorary member is designated by a vote of the Executive Committee and confirmed by a vote of the General Assembly.
The term of membership for those paying annual dues shall coincide with the calendar year, beginning January 1 and ending on December 31.
A Member whose conduct may have been detrimental to the good of the Association may be dropped from membership and from any office by the unanimity of the total voting membership of the Executive Committee or during the General Assembly by a 2/3 majority, provided that the member has been notified by at least twenty (20) days in advance as to the charges against him or her, and has been given the opportunity to answer the charges in person, in writing, or by an authorized representative. A person who has been dropped from membership under this bylaw can be reinstated to membership only upon majority approval of the Executive Committee or by majority vote at the General Assembly and by meeting membership requirements.
Any Member may resign by sending a written resignation to the President or Secretary.

Bylaw 2 - General Assembly

A General Assembly shall normally be held annually at the International Conference on Principles and Practice of Constraint Programming (CP) conference. If there shall be no meeting of this conference in any year then a General Assembly may be held at a time and place specified by the Executive Committee to be announced through normal means.
The General Assembly makes valid decisions only if at least a quarter of the members of the Association are present or represented. Should this quorum not be met, the membership of the Association will be given a two month period to vote on the agenda items through electronic means such as email and web voting systems. The decisions of this electronic General Assembly will be valid whatever the number of voters. No proxies are permitted in the electronic General Assembly.
A member can designate any other member as a proxy. A voting member present at the General Assembly may have a maximum of 3 proxies giving him/her a maximum of 4 votes.
Voting at the General Assembly shall be by show of hands unless a secret ballot is requested by any Member. The result of any vote shall be announced before the adjournment of the meeting.
Resolutions for consideration at the General Assembly may be put forward either by majority vote of the Executive Committee or upon the receipt of a resolution supported by at least fifteen (15) members.

Bylaw 3 - Manner of Voting

Except at the General Assembly, all voting by the membership shall be done by mail ballot, defined as written or electronic communication.
No Member shall be entitled to appoint a proxy except for votes at the General Assembly.
Unless otherwise stated in these bylaws, any vote shall be decided by a simple majority.

Bylaw 4 - Executive Committee

The Executive Committee (EC) of the Association shall consist of seven voting members along with whatever non-voting members the bylaws provide.
Voting members of the EC shall serve four year terms, unless otherwise stated in these bylaws.
The voting members of the Executive Committee shall choose amongst themselves a President who shall serve a two year term, commencing January 1 in odd numbered years. The President shall be the principal executive officer of the Association. The President shall:
1. Supervise the affairs of the Association
2. Chair all meetings of the Membership and of the Executive Committee. If the President is unavailable, the President may nominate any other member of the Executive Committee to chair such a meeting.
3. Have charge of, and be responsible for, all funds and securities of the Association.
No member of the EC may be elected to the EC for more than two consecutive terms.
A President may be re-elected to the Presidency by the EC. A President may be replaced at any time by a vote of five voting members of the EC.
All members of the EC must be Members of the Association.
The EC shall fill all vacancies in its membership by majority vote of the EC. Such positions will then be filled at the next election by the Membership, with an election for the unfilled portion of the vacated term.
At the end of a President’s term, if the President is not reelected, then the President becomes the Past President. If the Past President is not already on the EC, then the Past President joins the EC as an ex-officio, non-voting member of the EC. If the Past President is an elected member of the EC, the Past President retains his or her membership. The Past President serves until replaced by a succeeding Past President.
In addition, the Association shall have a Secretary, a Treasurer, and a Conference Coordinator who shall be appointed by the Executive Committee and shall serve for such term as the Executive Committee shall determine, not to exceed the time until a new Executive Committee or portion thereof is elected. These office-holders, if not already members of the Executive Committee, join the Executive Committee as ex-officio, non-voting members of the EC.
1. The Secretary shall keep or cause to be kept correct and complete minutes of the meetings of the Members and of the EC, and shall keep a correct and complete register of Members entitled to vote along with their contact information.
2. The Treasurer shall keep correct and complete books and records of accounts, receipt and give receipts for monies due and payable to the Association, make deposits in banks, trust companies or other depositories, and be the custodian of records of the Association.
3. The Conference Coordinator shall have overall responsibility for coordinating meetings of the Association, for ensuring that conference organizers follow policies and procedures, and for liaising with organizers of co-sponsored conferences.
A quorum for the purposes of the Executive Committee shall consist of five voting members of the EC.
The Executive Committee shall meet once a year at the CP conference and at such other times as it shall determine. Electronic meetings and votes are permitted.
The responsibilities of the EC are to:
1. Select venues for future CP conferences,
2. Select program and conference chairs for future CP conferences,
3. Make decisions concerning the future of CP conferences,
4. Promote constraint programming,
5. Otherwise carryout the duties of the EC as outlined in these bylaws.
The rules contained in Robert’s Rules of Order shall govern the parliamentary procedure of all meetings of the EC and Membership, to the extent they are applicable and consistent with the Constitution, Bylaws, and EC actions.

Bylaw 5 - Elections

An Election Committee shall be appointed by the Executive Committee and shall be responsible for the conduct of elections. Unless the Secretary is a candidate in the election, the Secretary shall chair the Election Committee.
Unless otherwise determined by the Executive Committee not later than July 1 in any Election Year, the Election period shall end September 1.
The Election Committee shall nominate at least one person for every position falling vacant on the Executive Committee. In addition, the Election Committee will include in the nominations any nomination made by a Member of the Association, provided the nominee agrees to the nomination.
The Election Committee shall circulate such nominations to the membership not less than thirty days before the Election Date.
Elections shall be held only in even numbered years.
Elections shall be done by approval voting by the Members, with voting being done by either ordinary or electronic means.

Bylaw 6 — Committees

The Executive Committee may appoint the following committees and such other committee(s) as it may deem appropriate:
1. The Election Committee, as given in Bylaw 5.
2. The Conference Committee, which shall solicit and evaluate proposals for future conferences and otherwise aid the Conference Coordinator in his/her duties. This committee will prepare recommendations for consideration by the EC with regards to site location, program and conference chairs, and conference policies. This committee will be chaired by the Conference Coordinator and will consist of the Program Chair(s) and Organizing Committee Chair(s) of the past three conferences, along with such other members selected by the EC. This committee is advisory to the EC, and all decisions are ultimately made by the EC.
All decisions, policies, and procedures are effective only upon the vote of the EC.

Bylaw 7 — Policies and Procedures

The Executive Committee shall develop, maintain, and promulgate a Manual of Policies and Procedures. The Manual shall include rules for the operations of committees; procedures for meetings and conferences; procedures for awards; and any other procedures necessary for the efficient running of the Association.

Bylaw 8 — Amendments to the Bylaws

The Bylaws of the Association may be altered by majority vote of the General Assembly under the process given in Bylaw 2.

Bylaw 9 — Transitioning

These bylaws are effective January 1, 2008. The Executive Committee as of that date will elect among themselves a President to serve until December 31, 2008. The following are the members of the Executive Committee along with the end of their term:

ACP Summer Schools

Sat, 25 Jul 2026 15:03:17 +0200

Constraint Programming (CP) is a programming paradigm which provide useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design problems. The Association of Constraint Programming is seeking to augment and complement University teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

To help the CP community in these respects, the ACP Executive Committee has decided to start a series of CP summer schools, to be held annually. The subject of each summer school will alternate between general and specific: one year the school will cover most of the CP areas while in the following year the school will focus on one subject of research within CP.

Call for Outreach Initiatives

Sat, 25 Jul 2026 15:03:17 +0200

The Association for Constraint Programming (ACP) supports initiatives in favor of outreach to other scientific communities and industries. Constraint Programming (CP) offers powerful techniques in combinatorial optimization, and has successfully been applied to various domains, including logistics, scheduling, bioinformatics, cryptography, computer music, and verification. Yet, the use of CP techniques in combination with technologies from other disciplines, or on a wider range of applications, has not reached its potential.

The ACP supports the promotion of CP and is willing to develop its impact in scientific or industrial communities, where CP technologies could be better or more widely used. The ACP will fund initiatives to build bridges with either new areas of industrial applications, or other scientific communities. The funding will be a total of up to 5000 euros each year, where each initiative can be supported with at most 1000 euros. There is no deadline for submissions; the call for submissions is permanently open.

Competitions

Sat, 25 Jul 2026 15:03:17 +0200

There are regular competitions in which constraint solvers are compared against each other on unseen benchmarks.

The MiniZinc Challenge

The MiniZinc Challenge is an annual competition of constraint programming solvers on a variety of benchmarks. It has been held every year since 2008, with the winners being announced at the annual CP conference.

The XCSP3 Competition

The international XCSP3 competitions are organized to assess the performances of constraint solvers on Constraint Satisfaction Problems and Constraint Optimisation Problems. It was ran from 2017 - 2019 and might relaunch in the future.

CP Conference Series

Sat, 25 Jul 2026 15:03:17 +0200

Next CP conference

(To be announced)

Past CP conferences

CP2026: The 32nd International Conference on Principles and Practice of Constraint Programming, July 20-23 2026, Lisbon, Portugal (during FLoC 2026). website
CP2025: The 31th International Conference on Principles and Practice of Constraint Programming, 12 - 15 August 2025, Glasgow, Scotland. CP2025
CP2024: The 30th International Conference on Principles and Practice of Constraint Programming, September 2 - 6 2024, Girona, Spain. CP2024
CP2023: The 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), August 27 - 31, 2023, Toronto, Canada. CP2023. Proceedings: LIPIcs Vol. 280
CP2022: Twenty-Eighth International Conference on Principles and Practice of Constraint Programming, July 31st to August 8th 2022, Haifa, Israel. CP2022. Proceedings: Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, CP 2022, Complete Volume.
CP2021: Twenty-Seventh International Conference on Principles and Practice of Constraint Programming, October 25th to October 29th 2021, Montpellier, France. CP2021. Proceedings: Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, CP 2021, Complete Volume.
CP2020: Twenty-Sixth International Conference on Principles and Practice of Constraint Programming, September 7th to September 11th 2020, Louvain-la-Neuve, Belgium. CP2020. Proceedings: Springer Lecture Notes in Computer Science 12333.
CP2019: Twenty-Fifth International Conference on Principles and Practice of Constraint Programming, September 30th to October 4th 2019, Stamford, CT, USA. CP2019. Proceedings: Springer Lecture Notes in Computer Science 11802.
CP2018: Twenty-Fourth International Conference on Principles and Practice of Constraint Programming, August 27th to August 31st 2018, Lille, France. CP2018. Proceedings: Springer Lecture Notes in Computer Science 11008.
CP2017: Twenty-Third International Conference on Principles and Practice of Constraint Programming, August 28th to September 1st 2017, Melbourne, Australia. CP2017. Co-located with IJCAI 2017. Proceedings: Springer Lecture Notes in Computer Science 10416
CP2016: Twenty-Second International Conference on Principles and Practice of Constraint Programming, September 5th-9th, 2016, Toulouse, France. CP2016. Proceedings: Springer Lecture Notes in Computer Science 9892.
CP2015: Twenty-First International Conference on Principles and Practice of Constraint Programming, August 31st-September 4th, 2015, Cork, Ireland. CP2015. Proceedings: Springer Lecture Notes in Computer Science 9255
CP2014: Twentieth International Conference on Principles and Practice of Constraint Programming, September 8th-12th, 2014, Lyon, France. CP2014. Proceedings: Springer Lecture Notes in Computer Science 8656
CP2013: Nineteenth International Conference on Principles and Practice of Constraint Programming, September 16th-20th, Uppsala, Sweden. CP2013. Proceedings: Springer Lecture Notes in Computer Science 8124
CP2012: Eighteenth International Conference on Principles and Practice of Constraint Programming, October 8-12, Quebec City, Canada. CP2012. Proceedings: Springer Lecture Notes in Computer Science 7514
CP2011: Seventeenth International Conference on Principles and Practice of Constraint Programming, September 12-16, Perugia, Italy. CP2011. Proceedings: Springer Lecture Notes in Computer Science 6876
CP2010: Sixteenth International Conference on Principles and Practice of Constraint Programming, September 6-10, St Andrews, Scotland. CP2010. Proceedings: Springer Lecture Notes in Computer Science 6308
CP2009: Fifteenth International Conference on Principles and Practice of Constraint Programming, September 20-24, Lisbon, Portugal, Springer Lecture Notes in Computer Science 5732
CP2008: Fourteenth International Conference on Principles and Practice of Constraint Programming, September 14-18, Sydney, Australia, Springer Lecture Notes in Computer Science 5202
CP2007: Thirteenth International Conference on Principles and Practice of Constraint Programming, September 23-27, Providence, RI, USA, Springer Lecture Notes in Computer Science 4741
CP2006: Twelfth International Conference on Principles and Practice of Constraint Programming, September 25-29, Nantes, France, Springer Lecture Notes in Computer Science 4204
CP2005: Eleventh International Conference on Principles and Practice of Constraint Programming, October 1 - 5, 2005, Sitges (Barcelona), Spain, Springer Lecture Notes in Computer Science 3709
CP2004: Tenth International Conference on Principles and Practice of Constraint Programming, September 27 - October 1, 2004, Toronto, Canada, Springer Lecture Notes in Computer Science 3258
CP2003: Ninth International Conference on Principles and Practice of Constraint Programming, September 29 - October 3, 2003, Kinsale, Ireland, Springer Lecture Notes in Computer Science 2833
CP2002: Eighth International Conference on Principles and Practice of Constraint Programming, September 7 - 13, 2002, Cornell University, Springer Lecture Notes in Computer Science 2470
CP2001: Seventh International Conference on Principles and Practice of Constraint Programming, November 26 - December 1, 2001, Paphos, Cyprus, Springer Lecture Notes in Computer Science 2239
CP2000: Sixth International Conference on Principles and Practice of Constraint Programming, September 18-22, 2000, Singapore, Springer Lecture Notes in Computer Science 1894
CP99: Fifth International Conference on Principles and Practice of Constraint Programming, October 11-15, 1999, Alexandria, Virginia, USA, Springer Lecture Notes in Computer Science 1713
CP98: Fourth International Conference on Principles and Practice of Constraint Programming, October 26-30, 1998, Pisa, Italy, Springer Lecture Notes in Computer Science 1520
CP97: Third International Conference on Principles and Practice of Constraint Programming, October 29 - November 1, 1997, Schloss Hagenberg, Austria, Springer Lecture Notes in Computer Science 1330
CP96: Second International Conference on Principles and Practice of Constraint Programming, August 19-22, 1996, Cambridge, Massachusetts, USA, Springer Lecture Notes in Computer Science 1118
CP'95: First International Conference on Principles and Practice of Constraint Programming, September 19-22, 1995, Cassis, France, Springer Lecture Notes in Computer Science 976
PPCP'94: Second Workshop on Principles and Practice of Constraint Programming, May 2-4, 1994, Rosario, Orcas Island, Washington, USA, Springer Lecture Notes in Computer Science 874
PPCP'93: First Workshop on Principles and Practice of Constraint Programming, April 28-30, 1993, Newport, Rhode Island, USA

The collection of CP conference posters up to 2011 has been compiled by Stefano Bistarelli.

Statutes of the ACP

Sat, 25 Jul 2026 15:03:17 +0200

ARTICLE 1 : Constitution et dénomination

Il est fondé entre les adhérents aux présents statuts une association régie par la loi du 1er juillet 1901 et le décret du 16 août 1901, ayant pour titre :

Association for Constraint Programming (ACP)

ARTICLE 2 : Buts

Cette association a pour but de promouvoir la programmation par contraintes dans le monde, son développement et son organisation au niveau recherche académique, son enseignement dans les universités et les écoles d’ingénieurs, sa diffusion dans le monde industriel, et la vulgarisation de son utilisation dans tout type d’applications informatiques.

Statutes of the ACP (English version)

Sat, 25 Jul 2026 15:03:17 +0200

ARTICLE 1: Constitution and name

An association governed by the French law of July 1, 1901 and the decree of August 16, 1901, entitled:

Association for Constraint Programming (ACP)

is created among members with the present statutes.

ARTICLE 2: Goals

The association aims to promote constraint programming in the world, its development and organization at the level of academic research, its teaching in universities and engineering schools, its publicity in the industrial world, and extension of its use in all types of applications.

Anti-Harassment Policy

Sat, 25 Jul 2026 15:03:16 +0200

The open exchange of ideas is central to the mission of the Association for Constraint Programming (ACP). This requires an environment that embraces diversity and provides a safe, welcoming environment for all. As a result, in 2018 the ACP adopted the following anti-harassment policy (based on the one adopted by the ACM also in 2018) to be observed during all ACP activities, including:

Conferences, symposia, workshops, and events sponsored, co-sponsored, or in cooperation with the ACP;
ACP member meetings;
Exchanges among committees or other bodies associated with ACP activities;
Publications and communications sent through communication channels associated with ACP, including social media.

Expected Behaviour

We expect all participants in ACP activities to abide by this policy in all venues, including ancillary events and unofficial social gatherings:

Distinguished Service Award

Sat, 25 Jul 2026 15:03:16 +0200

The purpose of this award is to celebrate those CP community members who have made exceptional contributions to support the CP community. Areas of support could include, but are not limited to: association service, service as an editor, conference organisation, representation of CP in other organizations, etc., resulting in positive effects on the research field.

The 2026 call closed on 10 May.

Previous recipients of this award are:

Year	Recipient	Affiliation
2026	J. Christopher Beck	University of Toronto, Canada
2024	Maria Garcia de la Banda	Monash University, Australia
2022	Helmut Simonis	Insight Centre for Data Analytics, Cork, Ireland
2020	Christian Schulte	KTH Royal Institute of Technology, Sweden
2018	Michela Milano	University of Bologna, Italy
2016	Thomas Schiex	INRA, Toulouse, France
2014	Barry O’Sullivan	University College Cork, Ireland
2012	Eugene C. Freuder	University College Cork, Ireland
2010	Francesca Rossi	University of Padova, Italy

Doctoral Research Award

Sat, 25 Jul 2026 15:03:16 +0200

The ACP Doctoral Research Award is awarded every year to a promising young researcher working in the area of constraint programming and who defended their thesis between January and December of the previous two years. The award, in the form of a certificate, is presented at the CP conference, where the winning researcher will be invited to give a talk about their PhD thesis. The award includes a cash prize of 500 euros, plus free registration for the conference.

Early Career Researcher Award

Sat, 25 Jul 2026 15:03:16 +0200

The ACP Early Career Researcher Award is awarded every year to a researcher who has completed their PhD at least 2 years and at most 8 years before the year of the competition, with a scientific track record showing great promise in the area of Constraint Programming.

The award was established in 2021 after a proposal by Prof. Eugene Freuder to the ACP. Prof. Freuder has provided seed funding for the award by the donation of the monetary portion of his 2020 IJCAI Research Excellence Award to the ACP.

Legal Information

Sat, 25 Jul 2026 15:03:16 +0200

The ACP is legally a French organisation, hence the official status are in French. We of course also provide a faithful translation in English of the statutes, as well as the bylaws.

Paper Awards

Sat, 25 Jul 2026 15:03:16 +0200

CP 2026

Best Technical Paper: Fabio Tardivo, Laurent Michel, and Willem-Jan van Hoeve. GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization
Best Technical Paper Runner-Up: Martin C. Cooper and Imane Bousdira. Fairness of Classifiers in the Presence of Constraints between Features
Best Student Paper: Théo Cantaloube, Xiao Peng, Christine Solnon, and Anastasia Volkova. Solving the Multiple Constant Multiplication Problem with Constraint Programming
Best Student Paper Runner-Up: Tanguy Terrien and Cyrille Briand. An Iterative Constraint Programming Approach to Integrate Maximum Workload Constraints in Preemptive Jobshop Scheduling
Best Application Paper: Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Matteo Miceli, and Michael Wybrow. CrewAId: Interactive Optimisation for Human-In-The-Loop Crew Rostering and Rerostering
Best Application Paper Runner-Up: Luca Di Gaspero, Alessia Grosso, and Giovanni Longo. A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions

CP 2025

Best Technical Paper: J. Christopher Beck, Ryo Kuroiwa, Jimmy H. M. Lee, Peter J. Stuckey, and Allen Z. Zhong. Transition Dominance in Domain-Independent Dynamic Programming
Best Application Paper: Ignace Bleukx, Ryma Boumazouza, Tias Guns, Nadine Laage, and Guillaume Poveda. Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem
Best Student Paper: Hannes Ihalainen, Jeremias Berg, Matti Järvisalo, and Bart Bogaerts. Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets

CP 2024

Best Main Track Paper: Peng Lin, Mengchuan Zou and Shaowei Cai. An Efficient Local Search Solver for Mixed Integer Programming
Best Application Track Paper: Duc Anh Le, Stephanie Roussel, Christophe Lecoutre and Anouck Chan. Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production
Best ML Track Paper: Augustin Parjadis, Quentin Cappart, Bistra Dilkina, Aaron Ferber and Louis-Martin Rousseau. Learning Lagrangian Multipliers for the Travelling Salesman Problem

CP 2023

Best Paper: Mathew J. McIlree and Ciaran McCreesh. Proof Logging for Smart Extensional Constraints
Best Application Track Paper: Matthias Klapperstueck, Frits De Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia De La Banda and Michael Wybrow. Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert views

CP 2022

Best Paper: Isaac Rudich, Quentin Cappart and Louis-Martin Rousseau. Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Best Student Paper: Jimmy H. M. Lee and Allen Z. Zhong. Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization

CP 2021

Best Paper: Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manya, Djamal Habet, and Kun He. Combining Clause Learning and Branch and Bound for MaxSAT

CP 2020

Best Technical Track Paper: Tomáš Peitl and Stefan Szeider. Finding the Hardest Formulas for Resolution
Best Application Track Paper: Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, and Benoit Baudry. Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
Best CP/ML Track Paper: Jinqiang Yu, Alexey Ignatiev, Peter Stuckey, and Pierre Le Bodic. Computing Optimal Decision Sets with SAT

CP 2019

Best Paper: Alex Mattenet, Ian Davidson, Siegfried Nijssen, and Pierre Schaus. Generic Constraint-based Block Modeling using Constraint Programming
Best Student Paper: Rocsildes Canoy and Tias Guns. Vehicle Routing by Learning from Historical Solutions
Distinguished Student Paper: Mohd Hafiz Hasan and Pascal van Hentenryck. The Flexible and Real-Time Commute Trip Sharing Problems

CP 2018

Best Paper: Emmanuel Hebrard and George Katsirelos. Clause Learning and New Bounds for Graph Coloring

CP 2017

Best Paper: Grigori German, Olivier Briant, Hadrien Cambazard, and Vincent Jost. Arc Consistency via Linear Programming
Distinguished Paper: Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, and Paul Saikko. Reduced Cost Fixing in MaxSAT
Best Student Paper: Adrian Goldwaser and Andreas Schutt. Optimal Torpedo Scheduling.
Distinguished Student Paper: Guillaume Derval, Jean-Charles Regin, and Pierre Schaus. Improved Filtering for the Bin-Packing with Cardinality Constraint.

CP 2016

Best Paper: Krishnamurthy Dvijotham, Michael Chertkov, Pascal van Hentenryck, Marc Vuffray and Sidhant Misra. Graphical Models for Optimal Power Flow.
Distinguished Paper: David Manlove, Iain McBride, and James Trimble. Almost-Stable Matchings in the Hospitals/Residents Problem with Couples.
Best Student Paper: Clément Carbonnel. The Dichotomy for Conservative Constraint Satisfaction Is Polynomially Decidable.
Distinguished Student Paper: Kyle E.C. Booth, Goldie Nejat, and J. Christopher Beck. A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes.

CP 2015

Best Technical Track Paper: John N. Hooker. Projection, Consistency, and George Boole.
Best Application Track Paper: Philip Kilby and Tommaso Urli. Fleet Design Optimisation from Historical Data using Constraint Programming and Large Neighbourhood Search.
Best Student Paper: Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, and Moshe Vardi. On Computing Minimal Independent Support and Its Applications to Sampling and Counting.

CP 2014

Best Technical Track Paper: Martin Cooper, Achref El Mouelhi, Cyril Terrioux, and Bruno Zanuttini. On Broken Triangles.
Best Application Track Paper: Morten Mossige, Arnaud Gotlieb, and Hein Meling. Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System.
Best Student Paper: Umut Oztok and Adnan Darwiche. On Compiling CNF into Decision-DNNF.
Runner-Up: Thi-Van-Anh Nguyen and Arnaud Lallouet. A Complete Solver for Constraint Games.

CP 2013

Best Technical Track Paper: Thierry Moisan, Jonathan Gaudreault, and Claude-Guy Quimper. Parallel Discrepancy-Based Search.
Best Application Track Paper: Hadrien Cambazard, Deepak Mehta, Barry O’Sullivan, and Helmut Simonis. Bin Packing with Linear Usage Costs – An Application to Energy Management in Data Centres.
Best Student Paper: Jean-Guillaume Fages and Tanguy Lapègue. Filtering AtMostNValue with Diﬀerence Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem.

CP 2012

Best Main Track Paper: Geoﬀrey Chu and Peter Stuckey. A Generic Method for Identifying and Exploiting Dominance Relations.
Best Application Track Paper: Gilles Simonin, Christian Artigues, Emmanuel Hebrard, and Pierre Lopez. Scheduling Scientiﬁc Experiments on the Rosetta/Philae Mission.
Honorable Mentions: Mohamed Siala, Emmanuel Hebrard, and Marie-José Huguet. An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality.
Honorable Mentions: Hannes Uppman. Max-Sur-CSP on Two Elements.

CP 2011

Best Research Track Paper: Georg Gottlob. On Minimal Constraint Networks.
Best Application Track Paper: Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, and Makoto Yokoo. The Design of Cryptographic Substitution Boxes Using CSPs.
Runner-Up: Andreas Schutt, Peter J. Stuckey, and Andrew R. Verden. Optimal Carpet Cutting.
Best Student Paper: Marie Pelleau, Charlotte Truchet, and Frédéric Benhamou. Octagonal Domains for Continuous Constraints.

CP 2010

Best Research Track Paper: Ross Willard. Testing Expressibility Is Hard.
Best Application Track Paper: Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, and Michael J. Mcinnis. Applying Constraint Programming to Identiﬁcation and Assignment of Service Professionals.
Best Student Paper: Stefano Ermon, Carla Gomes, and Bart Selman. Computing the Density of States of Boolean Formulas.

CP 2009

Best Research Track Paper: Petr Vilı́m. Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n).
Runners-Up: Konstantin Korovin, Nestan Tsiskaridze, and Andrei Voronkov. Conﬂict Resolution.
Runners-Up: Christophe Lecoutre and Olivier Roussel. Failed Value Consistencies for Constraint Satisfaction.
Runners-Up: Knot Pipatsrisawat and Adnan Darwiche. On the Power of Clause-Learning SAT Solvers with Restarts.
Best Application Track Paper: Helmut Simonis. A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem.
Best Student Paper: Knot Pipatsrisawat and Adnan Darwiche. On the Power of Clause-Learning SAT Solvers with Restarts.
Runner-Up: Geoﬀrey Chu, Peter Stuckey, and Maria Garcia de la Banda. Using Relaxations in Maximum Density Still Life.

CP 2008

Best Research Track Paper: Alexandre Goldsztejn and Laurent Granvilliers. A New Framework for Sharp and Eﬃcient Resolution of NCSP with Manifolds of Solutions.
Best Application Track Paper: Arnaldo Moura, Cid de Souza, André Cirè, and Tony Lopes. Planning and Scheduling the Operation of a Very Large Oil Pipeline Network.
Best Student Paper: Jean-Marie Normand, Alexandre Goldsztejn, Marc Christia, and Frédéric Benhamou. A Branch and Bound Algorithm for Numerical MAX-CSP.

CP 2007

Best Paper: Alessandro Zanarini and Gilles Pesant. Solution Counting Algorithms for Constraint-Centered Search Heuristics.
Best Student Paper: Olga Ohrimenko, Peter J. Stuckey, and Michael Codish. Propagation = Lazy Clause Generation.

CP 2006

Best Paper: Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, and Ashish Sabharwal. Revisiting the Sequence Constraint.

CP 2005

Best Papers: David Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, and Barbara M. Smith. Symmetry Definitions for Constraint Satisfaction Problems.
Best Papers: Roie Zivan and Amnon Meisels. Dynamic Ordering for Asynchronous Backtracking on DisCSPs.

CP 2004

Distinguished Papers: Yong Gao and Joseph Culberson. Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness.
Distinguished Papers: Carla P. Gomes, Cèsar Fernández, Bart Selman, and Christian Bessiere. Statistical Regimes Across Constrainedness Regions.
Distinguished Papers: Pascal van Hentenryck, Laurent Michel, and Liyuan Liu. Constraint-Based Combinators for Local Search.
Distinguished Papers: Petr Vilím, Roman Barták, and Ondřej Čepek. Unary Resource Constraint with Optional Activities.

CP 2003

Best Paper: Pascal van Hentenryck and Laurent Michel. Control Abstractions by Local Search.

CP 2001

Best Technical Program Papers: Andrew Eremin and Mark Wallace. Hybrid Benders Decomposition Algorithms in Constraint Logic Programming.
Best Technical Program Papers: Erlendur S. Thorsteinsson. Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming
Best Innovative Applications Program Paper: Peter van Beek and Kent Wilken. Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies

CP 2001 was the first conference to have paper awards.

Research Excellence Award

Sat, 25 Jul 2026 15:03:16 +0200

Ten years after the first CP conference, the CP research area was mature enough to begin to identify and honour the most influential people in the field. In 2015, the Executive Committee of the Association for Constraint Programming has decided to establish an annual “ACP award for Research Excellence in constraint programming”, whose purpose is to celebrate those CP researchers who have made exceptional and very influential research contributions to CP with their work.

Policies

Sat, 25 Jul 2026 15:03:15 +0200

CP Conference Organisation Policy

Welcome to the ACP

Sat, 25 Jul 2026 15:03:14 +0200

The Association for Constraint Programming aims at promoting constraint programming in every aspect of the scientific world, by encouraging its theoretical and practical developments, its teachning in the academic institutions, its adoption in the industrial world, and its use in the the application fields.

More about the ACP

About Constraint Programming

We provide a number of resources for you to explore the history and the state of the art of all aspects of computing with constraints. Read about Success Stories of our field. The PhD thesis archive is an initiative to collect and archive PhD dissertations from the field of Constraint Programming. And the Quarterly Reports of the ACP executive committee.

A Unified Analytical Foundation for Constraint Handling Rules