C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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