“An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits” by Lengál et al., applies techniques ...

The distinguishing feature of this setup lies in its adaptable nature, wherein the type of logic gate implemented (AND, OR, or XOR) is exclusively dictated by the initial states of the memristors. The ...