On Conversions from CNF to ANF.

Jan Horácek Martin Kreuzer

Published in: SC²@ISSAC (2017)

Keyphrases

boolean functions
memory efficient
exact computation
conjunctive normal form
disk resident
sat solving
knowledge compilation
databases
data structure
sat solvers
search engine
objective function
upper bound
uniform distribution
cnf formula
clause learning