Login / Signup

Solution-Graphs of Boolean Formulas and Isomorphism.

Patrick ScharpfeneckerJacobo 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