A gap trichotomy for Boolean constraint problems: extending Schaefer's Theorem.
Lucy HamPublished in: CoRR (2016)
Keyphrases
- constraint problems
- randomly generated
- constraint satisfaction
- constraint satisfaction problems
- boolean functions
- constraint programming
- optimisation problems
- soft constraints
- constraint propagation
- real valued
- np complete
- global optimization
- benchmark problems
- genetic algorithm
- arc consistency
- heuristic search
- contextual information