A new Model for Scalable θ-subsumption.

Hippolyte Lger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag-Khelif

Browse the full ILP paper archive.