Login / Signup

BDD-Guided Clause Generation.

Brian KellAshish SabharwalWillem-Jan van Hoeve
Published in: CPAIOR (2015)
Keyphrases
  • search space
  • boolean functions
  • theorem prover
  • generation process
  • genetic algorithm
  • social networks
  • similarity measure
  • lower bound
  • orders of magnitude
  • binary decision diagrams
  • boolean formula