Contributions to Proceedings:

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.

Electronic version of the publication:

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Created from the Publication Database of the Vienna University of Technology.