Login / Signup
A Randomization Strategy for Combinatorial Search.
Hantao Zhang
Published in:
AI&M (2002)
Keyphrases
</>
combinatorial search
search strategy
search space
search algorithm
theorem proving
orders of magnitude
search strategies
optimal strategy
combinatorial problems
constraint solver