We consider the vector-valued Boolean function f:{0,1}^n→{0,1}^n that ou...
We determine the exact AND-gate cost of checking if a≤ x < b, where a
an...
Practical applications of quantum computers require millions of physical...
We propose an IR for quantum computing that directly exposes quantum and...
The multiplicative depth of a logic network over the gate basis {,
⊕, } ...
When compiling programs for fault-tolerant quantum computers, approximat...