R. Bloem, U. Egly, P. Klampfl, R. Könighofer, F. Lonsing:
"SAT-Based Methods for Circuit Synthesis";
in: "Formal Methods in Computer-Aided Design", IEEE, 2014, ISBN: 978-0-9835678-4-4, 31 - 34.
http://publik.tuwien.ac.at/files/PubDat_232494.pdf
Project Head Uwe Egly:
Quantified Boolean Formulas