Entailment and Disentailment of Order-Sorted Feature Constraints.

Hassan Aït-Kaci Andreas Podelski

Published in: PPCP (1993)

Keyphrases

constrained optimization
constraint programming
neural network
constraint satisfaction
geometric constraints
object oriented
general purpose
logic programming
predicate logic