ICTAI 2013 will highlight a special track on SAT and CSP technologies

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 special track is intended to further develop the role of ICTAI in that respect.


The schedule of ICTAI-2013 including the schedule of the Special Track on SAT and CSP technologies is available here.

Author Kit

The IEEE Conference Publishing System (CPS) is now open for ICTAI-2013 camera-ready papers.

The following is a URL link to the "Author's Final Paper Formatting and Submission Instructions" Webpage (Online Author Kit) for the ICTAI 2013 conference proceedings: Online Author Kit

Please note that the deadline for submitting the camera-ready papers and copyright forms is September 20, 2013.


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
  • Soft/Hard Constraints
  • Weighted CSP and SAT

Program Committee


Éric GrégoireArtois UniversityFrance 
Bertrand MazureArtois UniversityFrance 

Technical Program Commitee

Belaïd BenhamouAix-Marseille UniversityFrance
Armin BiereJohannes Kepler UniversityAustria
Manuel BodirskyÉcole PolytechniqueFrance
Assef ChmeissArtois UniversityFrance
Katsumi InoueNIIJapan
Jean-Marie LagniezJohannes Kepler UniversityAustria
Christophe LecoutreArtois UniversityFrance
Mark LiffitonIllinois Wesleyan UniversityUSA
Felip ManyàIIIA-CSICSpain
João Marques-SilvaUniversity College DublinIreland
Barry O'SullivanUniversity College CorkIreland
Thierry Petit École des Mines de NantesFrance
Olivier RousselArtois UniversityFrance
Michel RueherUniversity of Nice-Sophia AntipolisFrance
Lakhdar SaïsArtois UniversityFrance
Naoyuki TamuraKobe UniversityJapan
Peter van BeekUniversity of WaterlooCanada


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

Papers must be submitted in pdf only through the Easychair special track submission page (NOT through the general ICTAI Easychair conference 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 2013 registration fee payment, to guarantee publication in the proceedings.

Proceedings and Special Journal Issue

All papers accepted in the CSP and SAT technologies special track will be included in the ICTAI 2013 proceedings published by the IEEE Computer Society.

The authors of the best papers in this track will be invited to submit expanded versions for a special issue of the Constraints journal.

Important Dates

The calendar for the special track follows the ICTAI 2013 conference calendar.

Following ICTAI general calendar, the deadline for the special track is extended to July 12 (Firm deadline)

Paper submission June 30, 2013 July 12, 2013
Notification July 30, 2013
Camera ready copy papers August 20, 2013 September 20, 2013


For reaching the PC Chairs (É. Grégoire and B. Mazure), please send email to ictai2013satcsptrack@easychair.org