Solution-Graphs of Boolean Formulas and Isomorphism.

Patrick Scharpfenecker Jacobo Torán

Published in: J. Satisf. Boolean Model. Comput. (2016)

Keyphrases

graph theory
subgraph isomorphism
graph isomorphism
search algorithm
special case
upper bound
graph mining
boolean formula