Tathagata Chakraborti, Sarath Sreedharan, Sailik Sengupta, T. K. Satish Kumar, Subbarao Kambhampati. Compliant Conditions for Polynomial Time Approximation of Operator Counts. In Jorge A. Baier, Adi Botea, editors, Proceedings of the Ninth Annual Symposium on Combinatorial Search, SOCS 2016, Tarrytown, NY, USA, July 6-8, 2016. pages 123-124, AAAI Press, 2016. [doi]
Abstract is missing.