Arboral satisfaction: Recognition and LP approximation

Erik D. Demaine, Varun Ganesan, Vladislav Kontsevoi, Qipeng Liu, Quanquan Liu, Fermi Ma, Ofir Nachum, Aaron Sidford, Erik Waingarten, Daniel Ziegler. Arboral satisfaction: Recognition and LP approximation. Inf. Process. Lett., 127:1-5, 2017. [doi]

Abstract

Abstract is missing.