Chakraborti, Tathagata, Sarath Sreedharan, Sailik Sengupta, T. K. Satish Kumar, and Subbarao Kambhampati. 2021. “Compliant Conditions for Polynomial Time Approximation of Operator Counts”. Proceedings of the International Symposium on Combinatorial Search 7 (1):123-24. https://doi.org/10.1609/socs.v7i1.18401.