{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:30:48Z","timestamp":1725553848317},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/hpcsim.2009.5191794","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:58Z","timestamp":1250017798000},"page":"176-177","source":"Crossref","is-referenced-by-count":0,"title":["Automatic parallel SAT solving using MTSS"],"prefix":"10.1109","author":[{"given":"Pascal","family":"Vander-Swalmen","sequence":"first","affiliation":[]},{"given":"Michael","family":"Krajecki","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Dequen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0030"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9025-2"},{"key":"1","first-page":"148","article-title":"parallel programming with openmp: a new memory allocation model avoiding cache faults","author":"jaillet","year":"2007","journal-title":"IWOMP LNCS"},{"key":"7","first-page":"146","article-title":"on multithreaded satisfiability solving with openmp","author":"vander-swalmen","year":"2008","journal-title":"International Workshop on OpenMP (IWOMP)"},{"key":"6","article-title":"minisat 2.1 and minisat++ 1.0","author":"so?rensson","year":"2008","journal-title":"SAT Race 2008 Editions Tech Rep"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"4","first-page":"279","article-title":"efficient conflict driven learning in a boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"ICCAD IEEE Press"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"}],"event":{"name":"Simulation (HPCS)","start":{"date-parts":[[2009,6,21]]},"location":"Leipzig, Germany","end":{"date-parts":[[2009,6,24]]}},"container-title":["2009 International Conference on High Performance Computing & Simulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173446\/5191573\/05191794.pdf?arnumber=5191794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:36:20Z","timestamp":1489811780000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5191794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/hpcsim.2009.5191794","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}