Verification Constraint Problems with Strengthening.
Aaron R. BradleyZohar MannaPublished in: ICTAC (2006)
Keyphrases
- constraint problems
- constraint satisfaction
- constraint satisfaction problems
- randomly generated
- constraint programming
- optimisation problems
- soft constraints
- constraint propagation
- model checking
- np complete
- cellular automata
- evolutionary computation
- constrained problems
- computational intelligence
- global optimization