We study the problem of counting the number of distinct elements in a da...
In this paper, we study quantum Ordered Binary Decision Diagrams(OBDD)
m...
This paper studies the statistical query (SQ) complexity of estimating
d...
Let f: {0,1}^n →{0, 1} be a boolean function, and let f_ (x,
y) = f(x y...
This paper studies propositional proof systems in which lines are sequen...
We introduce new stable, natural merge sort algorithms, called 2-merge s...