Constraint Satisfaction over Bit-Vectors.
Laurent D. MichelPascal Van HentenryckPublished in: CP (2012)
Keyphrases
- constraint satisfaction
- bit vectors
- constraint satisfaction problems
- bit vector
- heuristic search
- constraint propagation
- constraint relaxation
- constraint programming
- russian doll search
- sat solvers
- hash table
- constraint networks
- gray code
- constrained problems
- locality sensitive hashing
- arc consistency
- constraint problems
- soft constraints
- neural network
- tabu search
- np hard
- data structure