A Knowledge Compilation Take on Binary Polynomial Optimization.

Florent Capelli Alberto Del Pia Silvia Di Gregorio

Published in: CoRR (2023)

Keyphrases

knowledge compilation
polynomial size
product configuration
logical inference
prime implicates
model counting
normal form
knowledge based systems
constraint satisfaction
quantified boolean formulae
search algorithm
horn formulas