Workshop “CP Solvers” at CP-2013

This year the major annual conference “CP 2013” will include a workshop “CP Solvers: Modeling, Applications, Integration, and Standardization” that will be held in Uppsala, Sweden on September 16, 2013.

The objective of this workshop is to get an industrial overview of currently available CP solvers and their use in real-world applications. The focus of the workshop will be not on implementation but rather on modeling, applications, integration, and standardization. Such an overview will fill a gap in the program of recent CP conferences and will allow CP developers and researchers to share the most recent experience of the actual use of different CP-based tools.

We hope that the workshop will help to improve communication between different CP vendors, between solver developers and their users, and will ultimately encourage a wider use of CP technology as a key component of the modern decision making applications.

Organizing Committee

• Jacob Feldman, OpenRules, Monroe, NJ, USA
• Helmut Simonis, 4C, Cork, Ireland
• Hakan Kjellerstrand, Independent Researcher, Malmo, Sweden


We invite authors of all commercial and open source CP solvers to submit their presentations that should include (but not be limited to) the following topics:

  • Demonstration of modeling facilities using a commonly known problem from the CSPLib
  • Implementation programming languages and why they were selected
  • Covered variable types, global constraints, and search algorithms
  • Integration with LP/MIP/SAT tools
  • Integration with business rules, predictive analytics, and other decision making techniques
  • Real-world use: positive and negative experience
  • Standardization and future plans.

If you an author of a CP solver, we ask you to add a profile of your product to a new Constraint Solvers Catalogue (even if you do not plan to submit a presentation or to attend the workshop). We expect that this catalogue will contain a majority of currently supported  CP Solvers before the start of the conference. The catalogue will also allow authors to keep the profiles of their product up-to-date.

We also welcome application developers and researchers who use different CP tools and who are willing to share their practical experience.

A special focus will be on CP standardization efforts including:

  • Development of CP APIs for different programming environments
  • CP XML for interchange of constraint satisfaction/optimization problems
  • CP design patterns
  • Libraries of commonly used constraints
  • Collections of constraint satisfaction and optimization problems.

An expert panel discussion will be held at the end of this one-day workshop.

Important Dates

  • Sunday, June 16 Presentation title and abstract submission
  • Tuesday, July 16 Acceptance notification
  • Friday, August 16 Complete presentation submission
  • Monday, September 16 Workshop


All abstracts and presentations must be submitted in PDF format using EasyChair. All accepted presentations will be made publicly available of the workshop’s website. At least one author of any accepted presentation must attend the event.

About jacobfeldman

CTO at
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

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

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

Google photo

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

Twitter picture

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

Facebook photo

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

Connecting to %s