Satisfiability-based detailed FPGA routing | IEEE Conference Publication | IEEE Xplore