Tim Todman Haohuan Fu Brittle Tsoi Oskar Mencer Wayne Luk Smart Enumeration: A Systematic Approach to Exhaustive Search. 429-438 2008 PATMOS http://dx.doi.org/10.1007/978-3-540-95948-9_43 conf/patmos/2008 db/conf/patmos/patmos2008.html#TodmanFTML08