Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.

Sathiamoorthy Subbarayan

Published in: PADL (2008)

Keyphrases

heuristic search
search space
constraint satisfaction problems
knowledge base
set bounds propagation
objective function
video sequences
upper bound
solving problems