Keyphrases
- scatter search
- variable ordering
- binary decision diagrams
- metaheuristic
- path relinking
- boolean functions
- conflict directed
- tabu search
- planning problems
- routing problem
- knowledge compilation
- model checking
- simulated annealing
- optimization algorithm
- genetic algorithm
- nsga ii
- optimization problems
- data structure
- belief revision
- temporal logic
- fp tree
- scheduling problem