An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks.

Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis

Browse the full CP paper archive.