Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/jar/JurkowiakLU05
%A Jurkowiak, Bernard
%A Li, Chu Min
%A Utard, Gil
%D 2005
%J J. Autom. Reason.
%K dblp
%N 1
%P 73-101
%T A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.
%U http://dblp.uni-trier.de/db/journals/jar/jar34.html#JurkowiakLU05
%V 34
@article{journals/jar/JurkowiakLU05,
added-at = {2020-09-02T00:00:00.000+0200},
author = {Jurkowiak, Bernard and Li, Chu Min and Utard, Gil},
biburl = {https://www.bibsonomy.org/bibtex/26460cf73174e934752b1c3a8fb5acbc2/dblp},
ee = {https://doi.org/10.1007/s10817-005-1970-7},
interhash = {9b43338058397e067db717308d70c77d},
intrahash = {6460cf73174e934752b1c3a8fb5acbc2},
journal = {J. Autom. Reason.},
keywords = {dblp},
number = 1,
pages = {73-101},
timestamp = {2020-09-09T13:34:28.000+0200},
title = {A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.},
url = {http://dblp.uni-trier.de/db/journals/jar/jar34.html#JurkowiakLU05},
volume = 34,
year = 2005
}