Login / Signup

Weighted Boolean Formula Games.

Marios MavronicolasBurkhard MonienKlaus W. Wagner
Published in: WINE (2007)
Keyphrases
  • boolean formula
  • conjunctive normal form
  • np complete
  • sat solvers
  • practical problems
  • boolean variables
  • linear constraints
  • binary decision diagrams
  • scheduling problem
  • membership queries
  • read once formulas