Multi terminal net routing for island style FPGAs using nearly-2-SAT computation | IEEE Conference Publication | IEEE Xplore