Bhavishya

CS undergrad @IITK

Indian Institute of Tehnology, Kanpur

Biography

I’m a CS undergrad at IITK interested in theory.

Interests

Quantum Computing
Complexity
SAT and Model Counting

Education

BTech Computer Science, 2016

Indian Institute of Technology, Kanpur

Recent Publications

Recent & Upcoming Talks

Effect of SparseXORs on Model Counting

Nov 26, 2018 12:00 AM

PDF

Recent Posts

How to intuitively understand eigenvalue and eigenvector?

Intuition behind eigenvalues and eigenvectors. Mathstackexchange EigenMorality Punchlines from above links Eigenpairs are a lot like …

Jan 5, 2019 1 min read

On the Size of XORs and Randomization in Approximate Model Counters

Note: This post is based on our (Kuldeep and yours truly ) paper submitted in TACAS2019 and is currently a work in progress. …

Dec 16, 2018 5 min read

On minimal degree of Summetric Boolean Functions

Dec 12, 2018 1 min read

Tags