MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing (bibtex)
by Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
Reference:
MPIDepQBF: Towards Parallel QBF Solving Without Knowledge SharingCharles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), 2014.Note: To appear.
Bibtex Entry:
@inproceedings{JordanKLS14,
title = {MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing},
url = {/pubpdf/MPIDepQBF__Towards_Parallel_QBF_Solving_Without_Knowledge_Sharing.pdf},
booktitle = {17th International Conference on Theory and Applications of Satisfiability
Testing (SAT 2014)},
author = {Charles Jordan and Lukasz Kaiser and Florian Lonsing and Martina
Seidl},
note = {To appear.},
year = {2014},
}
Powered by bibtexbrowser