Residuation with Type Constraints is Complete.

Hendrik C. R. Lock

Published in: WLP (1993)

Keyphrases

global constraints
machine learning
linear constraints
learning environment
expert systems
constraint networks