Arboral satisfaction: Recognition and LP approximation. - Erik D. Demaine; Varun Ganesan; Vladislav Kontsevoi; Qipeng Liu 001; Quanquan C. Liu; Fermi Ma; Ofir Nachum; Aaron Sidford; Erik Waingarten; Daniel Ziegler 002 (Inf. Process. Lett., 2017)