Entailment and Disentailment of Order-Sorted Feature Constraints.

Hassan Aït-Kaci Andreas Podelski

Published in: LPAR (1993)

Keyphrases

constraint satisfaction
feature space
feature vectors
image features
relational databases
constraint programming
constrained optimization
order sorted