Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk. Smart Enumeration: A Systematic Approach to Exhaustive Search. In Lars Svensson, José Monteiro, editors, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers. Volume 5349 of Lecture Notes in Computer Science, pages 429-438, Springer, 2008. [doi]
Abstract is missing.