Login / Signup
Small-Bias is Not Enough to Hit Read-Once CNF.
Louay Bazzi
Nagi Nahas
Published in:
Theory Comput. Syst. (2017)
Keyphrases
</>
small number
boolean functions
expert systems
max sat
objective function
trade off
linear programming