Huang G. H.Hsiang J.2010-12-202018-07-052010-12-202018-07-052000http://ntur.lib.ntu.edu.tw//handle/246246/221025en-USSymmetry Elimination in Exhaustive Searchconference paper