A comparative study of two Boolean formulations of FPGA detailed routing constraints | IEEE Journals & Magazine | IEEE Xplore