Solving hard instances of floorplacement.
Aaron N. NgIgor L. MarkovRajat AggarwalVenky RamachandranPublished in: ISPD (2006)
Keyphrases
- solving hard
- stochastic local search
- combinatorial problems
- satisfiability problem
- search problems
- propositional satisfiability
- propositional logic
- sat problem
- constraint programming
- backtrack search
- search algorithm
- sat solvers
- np complete
- sat instances
- constraint satisfaction problems
- constraint satisfaction
- search strategies
- temporal logic
- phase transition
- orders of magnitude
- belief revision
- randomly generated
- automated reasoning
- reinforcement learning
- objective function
- graph coloring
- first order logic
- industrial applications
- theorem proving
- heuristic search
- expressive power
- traveling salesman problem