On conversions from CNF to ANF.

Jan Horácek Martin Kreuzer

Published in: J. Symb. Comput. (2020)

Keyphrases

boolean functions
memory efficient
disk resident
knowledge compilation
conjunctive normal form
sat solving
model counting
exact computation
sat solvers
neural network
search engine
database systems
relational databases
cnf formula