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