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