SAT/CSP Track

 

Following the success of previous years, ICTAI 2016 will highlight a track dedicated to SAT and CSP this year as well.

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.

 

The SAT/CSP Track authors have to follow the general ICTAI 2016 istructions for paper preparation. presentation and publication.

The SAT/CSP Technical Committee members may be found in ICTAI 2016 Committee page.

 

SUBMISSION Instructions: Please follow the ICTAI 2016 submission link. Log into Easychair and when promted, select SAT/CSP Track. .

 

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

MAX-SAT, MAX-CSP

Constraint optimization

Soft/Hard Constraints

Weighted CSP and SAT

 

 

 

 

ICTAI 2016: 28th International  Conference on Tools with Artificial Intelligence.
November 6-8, 2016, San Jose, California, USA