Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David Blaauw. Robust SAT-Based Search Algorithm for Leakage Power Reduction. In Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido, editors, Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation, 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002. Volume 2451 of Lecture Notes in Computer Science, pages 167-177, Springer, 2002. [doi]
Abstract is missing.