Proceedings of PAAR 2012

Book title Buchtitel

Editor Herausgeber_in

Fontaine, Pascal
Schmidt, Renate
Schulz, Stephan

Filter:

Author: Seidl, Martina

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Seidl, Martina ; Lonsing, Florian ; Biere, Armin	qbf2epr: A Tool for Generating EPR Formulas from QBF	Konferenzbeitrag Inproceedings	2012