A Quantum Variational Approach to Debugging Combinational Logic Circuits. - Peter Demetriou; Conrad J. Haupt; Ken J. Nixon (ISVLSI, 2021)