53 citations · 434 across the 45 of their papers we have counts for
1 paper · 1 filter
Tathagata Chakraborti, Sarath Sreedharan, Sailik Sengupta +2
In this paper, we develop a computationally simpler version of the operator count heuristic for a particular class of domains. The contribution of this abstract is threefold, we (1…