A Compact and Efficient SAT Encoding for Quantum Circuits

@inproceedings{pub6830,
    author = {

Wille, Robert
 and 

Przigoda, Nils
 and 

Drechsler, Rolf
},
    title = {A Compact and Efficient SAT Encoding for Quantum Circuits},
    booktitle = {IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius},
    year = {2013},
    publisher = {IEEE}
}