Vega, F.. Algebraic Polynomial Sum Solver over $\{0, 1\}$. Zenodo, Feb. 2021, doi:10.5281/zenodo.4527665.