Rounds in a combinatorial search problem.

Dániel Gerbner Máté Vizer

Published in: Discret. Appl. Math. (2020)

Keyphrases

combinatorial search
theorem proving
search space
search algorithm
search problems
search strategy
combinatorial optimization
combinatorial problems
subgraph isomorphism
lower bound
constraint programming
constraint solver