[Zurück]

@inproceedings{TUW-233368,
    author = {Heule, Marijn and Seidl, Martina and Biere, Armin},
    title = {A Unified Proof System for QBF Preprocessing},
    booktitle = {Proceedings of the 7th International Joint Conference on Automated Reasoning},
    year = {2014},
    pages = {91--106},
    publisher = {LNCS/Springer},
    address = {8562},
    url = {http://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_7},
    isbn = {978-3-319-08587-6},
    note = {Vortrag: IJCAR, Wien; 2014-07-19 -- 2014-07-22}
}