Streaming BDD manipulation for large-scale combinatorial problems.
Shin-ichi MinatoShinya IshiharaPublished in: DATE (2001)
Keyphrases
- combinatorial problems
- constraint programming
- combinatorial optimization
- metaheuristic
- graph coloring
- constraint satisfaction
- constraint satisfaction problems
- traveling salesman problem
- branch and bound algorithm
- phase transition
- pseudo boolean
- solving hard
- combinatorial search
- global constraints
- specific problems
- sat encodings
- data streams
- hard combinatorial optimization problems
- graph colouring
- simulated annealing
- lower bound
- constraint propagation
- search problems
- boolean functions
- ant colony optimization
- search space
- computational complexity
- optimal solution
- genetic algorithm