AC-Superposition with Constraints: No AC-Unifiers Needed.

Robert Nieuwenhuis Albert Rubio

Published in: CADE (1994)

Keyphrases

arc consistency algorithm
arc consistency
constraint programming
linear constraints
case study
neural network
data sets
computer vision
decision making
search algorithm
knowledge representation
logic programs
constrained optimization
binary constraints