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]
Abstract is missing.