C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.
Philippe Codognet
Daniel Diaz
Published in:
PLILP (1994)
Keyphrases
</>
constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
high efficiency
computational complexity
relational databases
constraint solvers
heuristic search
finite domain