Robert Wille, Nils Przigoda, Rolf Drechsler. A compact and efficient SAT encoding for quantum circuits. In Africon 2013, Pointe aux Piments, Mauritius, September 9-12, 2013. pages 1-6, IEEE, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.