A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing.
Dahua ZhangWei LiTao DuPublished in: J. Circuits Syst. Comput. (2015)
Keyphrases
- boolean satisfiability
- sat solvers
- sat solving
- boolean optimization
- probabilistic planning
- branch and bound algorithm
- randomly generated
- integer linear programming
- sat problem
- maximum satisfiability
- symmetry breaking
- combinatorial problems
- max sat
- phase transition
- boolean formula
- dynamic programming
- branch and bound
- constraint satisfaction problems