Following the success of the first and second editions of the SAT and CSP technologies special track at ICTAI 2013 and ICTAI 2014, this year again the IEEE-ICTAI conference will highlight a track dedicated to SAT and CSP.

Constraint Solving Programming (CSP) and SAT-based technologies have become major related topics of research and application in AI this last decade, opening up new perspectives about effective AI application domains.

The ICTAI conference is a major forum for the CSP and SAT research communities for presenting new high-quality results. The track is intended to further develop the role of ICTAI in that respect.


Topics of interest include, but are not limited to:

  • CSP methodologies and tools
  • Constraint networks
  • Global constraints
  • CSP and SAT Solvers
  • Applications of CSP and SAT-based technologies
  • Heuristic, complete and hybrid search techniques
  • Heuristics for SAT and CSP
  • SAT modulo theories
  • AI techniques based on SAT and CSP
  • Core, MUC and MUS extraction
  • Constraint optimization
  • Soft/Hard Constraints
  • Weighted CSP and SAT

Program Committee

Gilles Audemard
Belaid Benhamou
Armin Biere
Manuel Bodirsky
Assef Chmeiss
Remi Coletta
Jean-François Condotta
Eric Gregoire (PC Co-chair)
Marijn Heule
Gergely Kovásznai
Jean-Marie Lagniez (PC Co-chair)
Arnaud Lallouet
Daniel Le Berre
Christophe Lecoutre
Chu-Min Li
Mark Liffiton
Felip Manya
Bertrand Mazure
Eric Monfroy
Bertrand Neveu
Alexandre Niveau
Barry O'Sullivan
Thierry Petit
Luis Quesada
Michel Rueher
Lakhdar Sais
Yakoub Salhi
Frédéric Saubion
Pierre Schaus
Thomas Schiex
Nicolas Schwind
Naoyuki Tamura
Gilles Trombettoni
Peter van Beek

Submission & CRC

Papers must be full papers up to 8 pages and obey the ICTAI 2015 formatting instructions (single-spaced, double-column, 10-point font size).

Papers must be submitted in pdf only through the Easychair SAT and CSP track at IEEE ICTAI 2015 submission page.

All papers will be reviewed by at least two members of the program committee. Papers must report high-quality original work, be unpublished and not submitted elsewhere during the whole ICTAI review process.

Each accepted paper must be presented by one of the authors and accompanied by at least one full ICTAI 2015 registration fee payment, to guarantee publication in the proceedings.

Proceedings and Special Journal Issue

All papers accepted in the SAT and CSP track at IEEE ICTAI 2015 will be included in the ICTAI 2015 proceedings published by the IEEE Computer Society. It is planned that extended versions of the best papers will be invited for publication in a special issue of an International Journal after an additional round of reviewing.

Accepted papers


Important Dates

Paper submission July 16, 2015 (extended - Firm deadline)
Authors’ feedback/rebuttal periodSeptember 3-5, 2015
Notification of acceptance/rejection September 10, 2015
Camera ready copy papers TBA


For reaching the PC Chairs (É. Grégoire and J-M. Lagniez), please send email to Track-chairs :