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:
CoRR (2020)
Keyphrases
</>
cnf formula
np complete
max sat
knowledge compilation
sat problem
conjunctive normal form
genetic algorithm
database
computational complexity
xml documents
dynamic programming
simulated annealing
boolean formula
weighted max sat