Login / Signup

On the Structure of Solution-Graphs for Boolean Formulas.

Patrick Scharpfenecker
Published in: FCT (2015)
Keyphrases
  • machine learning
  • evolutionary algorithm
  • tree structure
  • search strategy