Login / Signup
An Improved Generator for 3-CNF Formulas.
S. I. Uvarov
Published in:
Autom. Remote. Control. (2020)
Keyphrases
</>
cnf formula
np complete
max sat
stable set
knowledge compilation
sat problem
neural network
information retrieval
optimization problems
conjunctive normal form
databases