A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.

Alexis de Colnet

Published in: CoRR (2021)

Keyphrases

pseudo boolean constraints
lower bound
logic programming
upper bound
pseudo boolean
sat encodings
branch and bound algorithm
boolean functions
exact solution
objective function
np hard
branch and bound
optimal solution
knowledge compilation
logic programs
domain independent
evolutionary algorithm