1. Chakraborty , S. , Meel , K.S. , Vardi , M.Y. Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls . IJCAI/AAAI , 2016 . Chakraborty, S., Meel, K.S., Vardi, M.Y. Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls. IJCAI/AAAI, 2016.
2. Estimating simple functions on the union of data streams
3. The complexity of approximate counting