An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference.

Hachemi Bennaceur Gérard Plateau

Published in: Inf. Process. Lett. (1993)

Keyphrases

constraint satisfaction problems
constraint satisfaction
logical inference
constraint propagation
constraint programming
constraint solving
np hard
decomposition methods
search space
np complete
branch and bound algorithm
theorem proving
arc consistency
soft constraints