{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T15:12:53Z","timestamp":1782400373944,"version":"3.54.5"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/ccgrid.2005.1558680","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"1079-1086 Vol. 2","source":"Crossref","is-referenced-by-count":17,"title":["ZetaSAT - Boolean SATisfiability solving on Desktop Grids"],"prefix":"10.1109","author":[{"given":"W.","family":"Blochinger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Westje","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Kuchlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Wedeniwski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proc of the Tenth European Conference on Artificial Intelligence (ECAI'92)"},{"key":"17","year":"0"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881805"},{"key":"33","article-title":"The quest for efficient boolean satisfiability solvers","author":"zhang","year":"2002","journal-title":"Proc of 8th International Conference on Computer Aided Deduction(CADE 2002)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2001.923246"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/69.755612"},{"key":"13","year":"0"},{"key":"14","first-page":"502","article-title":"An extensible SAT-solver","volume":"2919","author":"ee?n","year":"2003","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"21","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1006326723002","article-title":"Logical cryptanalysis as a SAT problem","volume":"24","author":"massacci","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"20","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/ICCAD.1996.569607","article-title":"Grasp - A new search algorithm for satisfiability","author":"marques-silva","year":"1996","journal-title":"Proceedings of IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"22","year":"0"},{"key":"23","article-title":"Advanced eager scheduling for Java-based adaptive parallel computing","author":"michael","year":"2004","journal-title":"Concurrency and Computation Practice and Experience"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"25","year":"0"},{"key":"26","year":"0"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00323-3"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"key":"29","article-title":"A new major seti project based on project serendip data and 100,000 personal computers","author":"sullivan","year":"1997","journal-title":"Proc of the 5th International Conference on Bioastronomy"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1142\/9781860949630_0007"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(99)00049-X"},{"key":"10","first-page":"1092","article-title":"Experimental results on the application of satisfiability algorithms to scheduling problems","volume":"2","author":"crawford","year":"1994","journal-title":"Proc of the Twelfth National Conference on Artificial Intelligence (AAAI-94)"},{"key":"1","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99)"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935509"},{"key":"7","year":"0"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF02127976"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0030"},{"key":"5","first-page":"1720","article-title":"A universal parallel SAT checking kernel","volume":"4","author":"blochinger","year":"2003","journal-title":"Proc of the Intl Conf on Parallel and Distributed Processing Techniques and Applications PDPTA 03"},{"key":"31","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(03)00068-1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1048935.1050188"}],"event":{"name":"CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005.","location":"Cardiff, Wales, UK","start":{"date-parts":[[2005,5,9]]},"end":{"date-parts":[[2005,5,12]]}},"container-title":["CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10428\/33122\/01558680.pdf?arnumber=1558680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:55:29Z","timestamp":1497650129000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1558680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ccgrid.2005.1558680","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}