Equational Reasoning using AC Constraints.

David A. Plaisted Yunshan Zhu

Published in: IJCAI (1) (1997)

Keyphrases

arc consistency algorithm
website
constraint satisfaction
constrained optimization
information systems
data structure
constraint programming
real time
neural network
real world
artificial intelligence
special case
linear constraints
constraint solving