Inference in Higher Order Undirected Graphical Models and Binary Polynomial Optimization - BizPub.ai