Abstract
Combinatorial search involves the systematic exploration of the
space of configurations, or states, of a problem domain. A
set of operators can transform a given state to a series of
successor states. The objective of the exploration is to find one,
all or optimal goal states satisfying certain desired properties,
possibly along with a path from the start state to each goal.
Combinatorial search has widespread applications in optimization,
logic programming and artificial intelligence.