• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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