Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry.

Santiago Ontan, Pedro Meseguer

Browse the full CP paper archive.