SAT Over BOINC: An Application-Independent Volunteer Grid Project

Michael Black, Gregory Bard. SAT Over BOINC: An Application-Independent Volunteer Grid Project. In Shantenu Jha, Nils gentschen Felde, Rajkumar Buyya, Gilles Fedak, editors, 12th IEEE/ACM International Conference on Grid Computing, GRID 2011, Lyon, France, September 21-23, 2011. pages 226-227, IEEE, 2011. [doi]

@inproceedings{BlackB11-1,
  title = {SAT Over BOINC: An Application-Independent Volunteer Grid Project},
  author = {Michael Black and Gregory Bard},
  year = {2011},
  doi = {10.1109/Grid.2011.40},
  url = {http://dx.doi.org/10.1109/Grid.2011.40},
  researchr = {https://researchr.org/publication/BlackB11-1},
  cites = {0},
  citedby = {0},
  pages = {226-227},
  booktitle = {12th IEEE/ACM International Conference on Grid Computing, GRID 2011, Lyon, France, September 21-23, 2011},
  editor = {Shantenu Jha and Nils gentschen Felde and Rajkumar Buyya and Gilles Fedak},
  publisher = {IEEE},
  isbn = {978-1-4577-1904-2},
}