TY  - SER
AU  - He, F
AU  - Hung, W. N.N
TI  - A Satisfiability  for fpga Routing withpinrearrangements
KW  - Cad
KW  - Field Programmable Gate Arrays
ER  -