A comparative study of two Boolean formulations of FPGA detailed routing constraintsGi-Joon NamFadi Aloulet al.2004IEEE TC