Author of the publication

Segmented channel routability via satisfiability.

, , , , and . ACM Trans. Design Autom. Electr. Syst., 9 (4): 517-528 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature., , , , and . Symmetry, 11 (1): 27 (2019)Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (9): 1652-1663 (2006)Sequential dependency and reliability analysis of embedded systems., , , , , and . ASP-DAC, page 423-428. IEEE, (2013)A fast congestion estimator for routing with bounded detours., , , , , and . Integr., 41 (3): 360-370 (2008)Optimizing communication in mobile ad hoc network clustering., , , and . Comput. Ind., 64 (7): 849-853 (2013)Temporal Coverage Analysis for Dynamic Verification., , , , and . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)Maxterm Covering for Satisfiability., , , , and . IEEE Trans. Computers, 61 (3): 420-426 (2012)A comparative study on search strategies for cell assignments., , , and . Int. J. Comput. Math., 81 (7): 901-908 (2004)Segmented channel routing with pin rearrangements via satisfiability., , , , and . ISCAS (6), page 6248-6251. IEEE, (2005)Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory, , , and . CoRR, (2007)