Solution-Graphs of Boolean Formulas and Isomorphism.

Patrick Scharpfenecker Jacobo Torán

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

graph theory
graph isomorphism
optimal solution
boolean formula
subgraph isomorphism
data structure
search algorithm
linear programming
orders of magnitude
search strategy