Login / Signup
Generating clause sequences of a CNF formula.
Kristóf Bérczi
Endre Boros
Ondrej Cepek
Khaled M. Elbassioni
Petr Kucera
Kazuhisa Makino
Published in:
Theor. Comput. Sci. (2021)
Keyphrases
</>
cnf formula
np complete
max sat
sat problem
knowledge compilation
conjunctive normal form
genetic algorithm
evolutionary algorithm
np hard
propositional formulas
database
neural network
database systems
satisfiability problem