An Incomplete Unsatisfiable Cores Extracting Algorithm to Promote Routing | IEEE Conference Publication | IEEE Xplore