A comparative study of two Boolean formulations of FPGA detailed routing constraintsGi-Joon NamFadi Aloulet al.2004IEEE TC
A new FPGA detailed routing approach via search-based Boolean satisfiabilityGi-Joon NamKarem A. Sakallahet al.2002IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems