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