A Boolean satisfiability-based incremental rerouting approach with application to FPGAs | IEEE Conference Publication | IEEE Xplore