Login / Signup
Solution-Graphs of Boolean Formulas and Isomorphism.
Patrick Scharpfenecker
Jacobo Torán
Published in:
SAT (2016)
Keyphrases
</>
graph isomorphism
graph theory
graph mining
boolean formula
optimal solution
evolutionary algorithm
convex optimization
linear constraints
subgraph isomorphism