Feature Terms are a generalization of first-order terms which have been recently received increased attention for their usefulness in structured machine ...

with symmetry breaking constraints that exploit basic variable symmetries in feature terms, we obtain substantial extra gains in performance. Our CP imple ...

Feature Term Subsumplon using Constraint Programming and Basic Variable Symmetry ... feature terms = labeled directed graphs + ... – symmetry breaking constraint m( ...

The most basic operation among feature terms is subsumption, which determines whether a given term is more general than another and is the most essential ...

Feb 24, 2024 · We present a Constraint Programming formulation of these operations, which in some cases provides orders of magnitude speed-ups with respect to ...

@article {5381, title = {Speeding up operations on feature terms using constraint programming and variable symmetry} ... basic operations (subsumption, unification ...

Efficient Operations in Feature Terms Using Constraint Programming ... Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry.

Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry /; Santiago Ontañón and Pedro Meseguer. In Prospector. No prospector ...

Speeding up operations on feature terms using constraint programming and variable symmetry ... 来源：Artificial Intelligence, 2015, 220: 104-120. DOI：10.1016/j.

Feature Term Subsumption Using Constraint Programming with Basic Variable SymmetrySantiago Ontañón, Pedro Meseguer. 1004-1012 [doi] · About · Contact · Credits ...