Login / Signup
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.
Neng-Fa Zhou
Published in:
ICLP (2009)
Keyphrases
</>
pairwise
constraint logic programming
constraint programming
constraint solving
arc consistency algorithm
arc consistency
global constraints
database
constraint satisfaction
constraint propagation
multi class
constrained optimization
constraint solver
sat encodings
pseudo boolean constraints