Mikhail Posypkin, Alexander Semenov, Oleg Zaikin. Using BOINC Desktop Grid to Solve Large Scale SAT Problems. Computer Science (AGH), 13(1):25-34, 2012. [doi]
@article{PosypkinSZ12, title = {Using BOINC Desktop Grid to Solve Large Scale SAT Problems}, author = {Mikhail Posypkin and Alexander Semenov and Oleg Zaikin}, year = {2012}, doi = {10.7494/csci.2012.13.1.25}, url = {http://dx.doi.org/10.7494/csci.2012.13.1.25}, researchr = {https://researchr.org/publication/PosypkinSZ12}, cites = {0}, citedby = {0}, journal = {Computer Science (AGH)}, volume = {13}, number = {1}, pages = {25-34}, }