DMCA
Smart enumeration: a systematic approach to exhaustive search
by
Tim Todman
,
Haohan Fu
,
Brittle Tsoi
,
Oskar Mencer
,
Wayne Luk
BibTeX
@MISC{Todman_smartenumeration:,
author = {Tim Todman and Haohan Fu and Brittle Tsoi and Oskar Mencer and Wayne Luk},
title = {Smart enumeration: a systematic approach to exhaustive search},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. This paper explores the potential of smart enumeration: enumeration of a design space giving the effect of exhaustive search, while using heuristics to order and reduce the search space. We characterise smart enumeration as having several key properties, including carefully chosen problem domains and techniques to speed up the search, such as those that exploit symmetry. Our approach has been applied to technology mapping, optimising area and power consumption. 1
