Mona Safar, Ashraf Salem. Solving constraints in FPGA detailed routing using SMT. In 2015 IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2015, Cairo, Egypt, December 6-9, 2015. pages 613-616, IEEE, 2015. [doi]
Abstract is missing.