{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:34:16Z","timestamp":1729636456313,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hpcs.2010.5547121","type":"proceedings-article","created":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T18:21:20Z","timestamp":1282155680000},"page":"314-323","source":"Crossref","is-referenced-by-count":2,"title":["Cooperate and compete! A hybrid solving strategy for task-parallel SAT solving on Peer-to-Peer Desktop Grids"],"prefix":"10.1109","author":[{"given":"Sven","family":"Schulz","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Blochinger","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/SAT190068","article-title":"Pamiraxt: Parallel sat solving with threads and message passing","volume":"6","author":"schubert","year":"2009","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90212-3"},{"key":"ref10","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 Intl Conf on Bioastronomy"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56176-4_10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2007.06.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-008-9114-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-009-9121-8"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/s10723-010-9160-1","article-title":"Parallel boolean satisfiability solving on peer-to-peer desktop grids","author":"schulz","year":"2010","journal-title":"Journal of Grid Computing"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(03)00068-1"},{"key":"ref17","first-page":"1720","article-title":"A universal parallel SAT checking kernel","author":"blochinger","year":"2003","journal-title":"Proc of the IntI Conf on Parallel and Distributed Processing Techniques and Applications (PDPTA 03)"},{"key":"ref18","article-title":"Towards robustness in parallel SAT solving","author":"blochinger","year":"2006","journal-title":"Parallel Computing Current & Future Issues of High-End Computing (Proc of the International Conference ParCo 2005)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2005.1558680"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/11499107_5","article-title":"Effective preprocessing in sat through variable and clause elimination","volume":"3569","author":"e\u00e9n","year":"2005","journal-title":"Proc of the 8th Intl Con! on Theory and Applications of Satisfiability Testing (SAT'05) ser Lecture Notes in Computer Science (LNCS)"},{"key":"ref4","first-page":"530","article-title":"Chaff: Engineering an efficient SAT solver","author":"moskewicz","year":"2001","journal-title":"Proc of the 38th Design Automation Conference"},{"key":"ref27","first-page":"499","article-title":"Control-based clause sharing in parallel sat solving","author":"hamadi","year":"2009","journal-title":"Proc of the 21st Intl Joint Con! on Artifical intelligence (IJCAI'09)"},{"key":"ref3","first-page":"431","article-title":"Boosting combinatorial search through randomization","author":"gomes","year":"1998","journal-title":"AAAI ‘98\/IAAI ‘98 Proc of the fifteenth national\/tenth conference on Artificial intelligence\/Innovative applications of artificial intelligence"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/SAT190070","article-title":"Manysat: a parallel sat solver","volume":"6","author":"hamadi","year":"2009","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"An extensible SAT-solver","volume":"2919","author":"e\u00e9n","year":"2003","journal-title":"Proc of the sixth Intl Conf on Theory and Applications of Satisfiability Testing (SAT'03) ser LNCS"},{"key":"ref5","first-page":"502","article-title":"Cache performance of SAT solvers: A case study for efficient implementation of algorithms","volume":"2919","author":"zhang","year":"2003","journal-title":"Proc of the sixth Intl Conf on Theory and Applications of Satisfiability Testing (SAT'03)"},{"year":"2010","key":"ref8","article-title":"The SAT Competition 2009 website"},{"key":"ref7","article-title":"Pminisat: A parallelization of minisat 2.0 (sat-race 2008, solver description)","author":"chu","year":"2008","journal-title":"Tech Rep"},{"key":"ref2","first-page":"467","article-title":"Conflict analysis in search algorithms for propositional satisfiability","author":"marques-silva","year":"1996","journal-title":"Proc IEEE Int Conf Tools Artificial Intelligence"},{"year":"2010","key":"ref9","article-title":"The SAT Race 2008 website"},{"key":"ref1","article-title":"HANDBOOK OF SATISFIABILITY","author":"biere","year":"2009","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02127976"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_39"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0030"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00081-3"},{"key":"ref23","first-page":"443","article-title":"Experiments with massively parallel constraint solving","author":"bordeaux","year":"2009","journal-title":"Proc of the 21 st Intl Joint Conference on Artifical Intelligence (IJ-CAI'09)"},{"article-title":"Approaches to grid-based SAT solving","year":"2009","author":"hyv\u00e4rinen","key":"ref26"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","article-title":"Satzilla: portfolio-based algorithm selection for sat","volume":"32","author":"xu","year":"2008","journal-title":"Journal of Artificial Intelligence Research"}],"event":{"name":"Simulation (HPCS)","start":{"date-parts":[[2010,6,28]]},"location":"Caen, France","end":{"date-parts":[[2010,7,2]]}},"container-title":["2010 International Conference on High Performance Computing & Simulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5538704\/5547051\/05547121.pdf?arnumber=5547121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T17:38:58Z","timestamp":1591810738000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5547121\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/hpcs.2010.5547121","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}