A Knowledge Compilation Take on Binary Polynomial Optimization

Florent Capelli, Alberto Del Pia, Silvia Di Gregorio

The Binary Polynomial Optimization (BPO) problem is defined as the problem of maximizing a given polynomial function over all binary points. The main contribution of this paper is…