[Zurück]

@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}
}