Login / Signup
Combinatorial search in two and more rounds.
Peter Damaschke
Published in:
Theor. Comput. Sci. (2019)
Keyphrases
</>
combinatorial search
search space
theorem proving
search algorithm
combinatorial optimization
search strategy
combinatorial problems
search problems
subgraph isomorphism
orders of magnitude
constraint propagation
constraint solver
evolutionary algorithm
optimization problems
inference rules