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.
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
- SAT modulo theories
- AI techniques based on SAT and CSP
- Core, MUC and MUS extraction
- MAX-SAT, MAX-CSP
- Soft/Hard Constraints
- Weighted CSP and SAT
Technical Program Commitee
Papers must be full
papers up to 8 pages and obey
the ICTAI 2013 formatting
double-column, 10-point font
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.
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.
The calendar for the
special track follows the
ICTAI 2013 conference
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 firstname.lastname@example.org