Weighted Boolean Formula Games.

Marios Mavronicolas Burkhard Monien Klaus 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