Nearly-2-SAT Solutions for Segmented-Channel Routing.

Shyamapada Mukherjee Suchismita Roy

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)

Keyphrases

stochastic local search algorithms
optimal solution
search algorithm
benchmark problems
sat solvers
multi channel
propositional logic
combinatorial problems
search procedures
division multiple access