Compliant Conditions for Polynomial Time Approximation of Operator Counts.

Tathagata Chakraborti, Sarath Sreedharan, Sailik Sengupta, T. K. Satish Kumar, Subbarao Kambhampati

Browse the full SoCS paper archive.