SAT Over BOINC: An Application-Independent Volunteer Grid Project | IEEE Conference Publication | IEEE Xplore