Lazy ad hoc Explanations for the Sum Constraint.

Suruthy Sekar, Gal Glorian, Wijnand Suijlen, ric Monfroy, Arnaud Lallouet

Browse the full ICTAI paper archive.