Congestion-Aware Rectilinear Steiner Tree Construction Using PB-SAT.
Sudeshna KunduSuchismita RoyShyamapada MukherjeePublished in: J. Circuits Syst. Comput. (2022)
Keyphrases
- tree construction
- decision trees
- r tree
- suffix tree
- sat solvers
- propositional satisfiability
- search algorithm
- phase transition
- stochastic local search
- sat problem
- ip networks
- boolean satisfiability
- ground plane
- arbitrary shaped
- congestion control
- traffic congestion
- max sat
- data mining
- satisfiability problem
- travel time
- test collection
- orders of magnitude
- high dimensional
- search engine