Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness.

Vincent Derkinderen

Published in: CoRR (2024)

Keyphrases

boolean functions
semidefinite
semidefinite programming
real valued
sufficient conditions
support vector
convex sets
knowledge compilation