Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures (bibtex)
by M. Aigner, A. Biere, C.M. Kirsch, A. Niemetz, M. Preiner
Reference:
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core ArchitecturesM. Aigner, A. Biere, C.M. Kirsch, A. Niemetz, M. PreinerProc. Workshop on Pragmatics of SAT (PoS), 2013, EasyChair.
Bibtex Entry:
@inproceedings{PoS13,
publisher = {EasyChair},
title = {Analysis of Portfolio-Style Parallel {SAT} Solving on Current Multi-Core
Architectures},
url = {/pubpdf/Analysis_of_Portfolio-Style_Parallel__SAT__Solving_on_Current_Multi-Core_Architectures.pdf},
series = {EPiC},
booktitle = {Proc. Workshop on Pragmatics of {SAT} (PoS)},
author = {M. Aigner and A. Biere and C.M. Kirsch and A. Niemetz and M. Preiner},
year = {2013},
}
Powered by bibtexbrowser