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.

Abstrakt

nnn

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence