Pin Assignment Using Stochastic Local Search Constraint Programming.
Bella DubrovHaggai EranAri FreundEdward F. MarkShyam RamjiTimothy A. SchellPublished in: CP (2009)
Keyphrases
- constraint programming
- stochastic local search
- solving hard
- combinatorial problems
- propositional satisfiability
- constraint satisfaction problems
- constraint satisfaction
- satisfiability problem
- phase transition
- constraint propagation
- sat problem
- global constraints
- integer programming
- tree search
- symmetry breaking
- max sat
- search strategies
- randomly generated
- arc consistency
- constraint problems
- random sat instances
- graph coloring
- constraint solving
- column generation
- finite domain
- hard and soft constraints
- temporal logic
- computational complexity
- search algorithm