Murthy Palla, Jens Bargfrede, Klaus Koch, Walter Anheier, Rolf Drechsler. Adaptive Branch and Bound Using SAT to Estimate False Crosstalk. In 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA. pages 508-513, IEEE Computer Society, 2008. [doi]
Abstract is missing.