Sign in

Solution-Graphs of Boolean Formulas and Isomorphism.

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