Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search.
Gi-Joon NamKarem A. SakallahRob A. RutenbarPublished in: FPL (2002)
Keyphrases
- boolean satisfiability
- symmetry breaking
- search algorithm
- probabilistic planning
- search space
- search methods
- search strategy
- randomly generated
- boolean optimization
- search strategies
- branch and bound algorithm
- integer linear programming
- evolutionary algorithm
- linear programming
- constraint programming
- hill climbing