Bhavishya

According to our database, Bhavishya authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

On the Sparsity of XORs in Approximate Model Counting.

Durgesh Agrawal, Bhavishya, Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020