Publikation
A Compact and Efficient SAT Encoding for Quantum Circuits
Robert Wille; Nils Przigoda; Rolf Drechsler
In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.
Zusammenfassung
nnn