Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure.
Mateusz SlazynskiSalvador AbreuGrzegorz J. NalepaPublished in: GECCO (Companion) (2019)
Keyphrases
- constraint satisfaction problems
- formal specification
- constraint satisfaction
- search space
- constraint propagation
- np complete
- model checking
- hard constraints
- process algebra
- constraint graph
- formal methods
- object oriented design
- search algorithm
- protocol specification
- constraint solving
- non binary
- reverse engineering
- computational complexity
- artificial intelligence
- soft constraints
- constraint networks
- arc consistency
- temporal information
- pseudo boolean optimization