Login / Signup

Fractional Pebbling and Thrifty Branching Programs.

Mark BravermanStephen A. CookPierre McKenzieRahul SanthanamDustin Wehr
Published in: FSTTCS (2009)
Keyphrases
  • clause learning
  • sat solvers
  • satisfiability problem
  • expert systems
  • orders of magnitude