Murthy Palla Jens Bargfrede Klaus Koch Walter Anheier Rolf Drechsler Adaptive Branch and Bound Using SAT to Estimate False Crosstalk. 508-513 2008 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.14 conf/isqed/2008 db/conf/isqed/isqed2008.html#PallaBKAD08