@inproceedings{TUW-208986, author = {Creignou, Nadia and Egly, Uwe and Seidl, Martina}, title = {A Framework for the Specification of Random SAT and QSAT Formulas}, booktitle = {Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)}, year = {2012}, pages = {163--168}, publisher = {Springer}, address = {Heidelberg}, url = {http://www.springerlink.com/content/418j60867r26251p/?MUD=MP}, isbn = {978-3-642-30472-9}, note = {Vortrag: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 2012-05-31 -- 2012-06-01} }