Sign in

Weighted Boolean Formula Games.

Marios MavronicolasBurkhard MonienKlaus W. Wagner
Published in: Algorithms, Probability, Networks, and Games (2015)
Keyphrases
  • boolean formula
  • conjunctive normal form
  • boolean variables
  • sat solvers
  • read once formulas
  • data structure
  • np hard
  • dynamic programming
  • sat problem
  • binary decision diagrams