Skip to content
Home » SAT/CSP Special Track

SAT/CSP Special Track

Constraint Programming (CP) and Boolean Satisfiability (SAT) are two related major topics of research in Artificial Intelligence. They have proved to be the most efficient techniques at the heart of general-purpose combinatorial problem solving, with application ranging from automation of logics, verification, planning and scheduling, both in academic research and industry.

Over the years, the ICTAI conference has become a major forum for the CSP and SAT research communities for presenting new high-quality results. The special track SAT/CSP@ICTAI2017 is intended to be a forum for new ideas and techniques using satisfiability and constraint solving. It particularly welcomes new core solving techniques, extensions to other domains of AI and applications.

Topics of Interest include but are not limited to:

SAT, SMT and CSP Solvers

Modeling, methodologies and tools

Implementation of solvers and global constraints

Applications of CSP and SAT-based technologies

Complete, incomplete and hybrid search techniques, heuristics, metaheuristics

AI techniques based on SAT and CSP

Tractable classes of problems, FPT, decompositions

Soft and weighted constraints, optimization, MAX-SAT, MAX-CSP

Machine learning, deep learning in SAT and CSP

Social network engineering with SAT and CSP


Papers follow the general ICTAI guidelines and may be either full papers (up to 8 pages) or short papers (up to 5 pages) and follow the standard IEEE formatting instructions for conference papers (single-spaced, double-column, 10-point font size).

Papers must be submitted in pdf only through the Easychair special track submission page (Submission). See submission instructions in Submission Tab.

All papers will be reviewed by at least three 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 2017 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 2017 main proceedings published by the IEEE Computer Society. Extended versions of the best papers are expected to be invited for publication in a special issue of an international journal after an additional round of reviews.

Important Dates

The track follows the main ICTAI dates. Please visit the “Important Dates” tab for details.

Track Co-Chairs

Jean-Marie Lagniez — Artois University

Arnaud Lallouet — Huawei Technologies Ltd

Program Committee

André Abramé — University of Marseille

Salvador Abreu — University of Evora

Gilles Audemard — Artois University

Belaid Benhamou — University of Marseille

Armin Biere — Johannes Kepler University

Stefano Bistarelli — University of Perugia

Ken Brown — University College Cork

Remi Coletta — University of Montpellier

Arnaud Gotlieb — Simula Research Lab

Marijn Heule — The University of Texas at Austin

Matti Järvisalo — University of Helsinki

George Katsirelos — INRA, France

Christophe Lecoutre — Artois University

Jimmy Lee — The Chinese University of Hong Kong

Toni Mancini — Sapienza University of Rome

Felip Manya — IIIA-CSIS, Barcelona

Deepak Mehta — United Technologies Research Centre, Ireland

Pedro Meseguer — IIIA-CSIS, Barcelona

Eric Monfroy — University of Nantes

Marie Pelleau — University of Paris 6

Luis Quesada — Insight Centre

Lakhdar Sais — Artois University

Frederic Saubion — University of Angers

Carsten Sinz — Karlsruhe Institute of Technology

Christine Solnon — INSA de Lyon

Thomas Stützle — Université Libre de Bruxelles

Naoyuki Tamura — Kobe University

Miroslav Velev — Aries Design Automation

Brent Venable — Tulane University