Sensitivity of Boolean formulas.

Nadia Creignou Hervé Daudé

Published in: Eur. J. Comb. (2013)

Keyphrases

boolean formula
unsatisfiable cores
conjunctive normal form
np complete
sat solvers
linear constraints
practical problems
membership queries
reinforcement learning
objective function
boolean variables
simulated annealing
learning theory
binary decision diagrams