YewPar: skeletons for exact combinatorial search.

Blair Archibald Patrick Maier Rob Stewart Phil Trinder

Published in: PPoPP (2020)

Keyphrases

combinatorial search
search space
theorem proving
search algorithm
combinatorial optimization
combinatorial problems
search strategy
search problems
subgraph isomorphism
constraint solver
optimal solution
heuristic search