[Zurück]

@inproceedings{TUW-232546,
    author = {Jordan, Charles and Kaiser, Lukasz and Lonsing, Florian and Seidl, Martina},
    title = {MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing},
    booktitle = {Lecture Notes in Computer Science},
    year = {2014},
    pages = {430--437},
    journal = {LNCS / Springer},
    volume = {8561},
    isbn = {978-3-319-09283-6},
    doi = {10.1007/978-3-319-09284-3{\_}32},
    note = {Vortrag: International Conference on Theory and Applications of Satisfiability Testing (SAT), Wien; 2014-07-14 -- 2014-07-17}
}