Heavy-Tailed Distributions in Combinatorial Search.

Carla P. Gomes Bart Selman Nuno Crato

Published in: CP (1997)

Keyphrases

combinatorial search
heavy tailed distributions
theorem proving
search algorithm
search space
combinatorial problems
combinatorial optimization
search problems
search strategy
orders of magnitude
application domains
subgraph isomorphism