{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:25:32Z","timestamp":1725535532802},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/fpt.2011.6132681","type":"proceedings-article","created":{"date-parts":[[2012,1,30]],"date-time":"2012-01-30T16:42:23Z","timestamp":1327941743000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Variable and clause elimination in SAT problems using an FPGA"],"prefix":"10.1109","author":[{"given":"Masayuki","family":"Suzuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Maruyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Oepir Consulting The SAT Solver KW SAT 2009 Competition","year":"0","author":"alfredsson","key":"ref4"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/11499107_5","article-title":"Preprocessing in SAT through Variable and Clause Elimination","author":"e\u00e9n","year":"2005","journal-title":"Theory and Applications of Satisfiability TestingSAT '06"},{"key":"ref5","article-title":"Vivifying propositional clausal formu-lae","author":"piette","year":"0","journal-title":"ECAI 2008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1857927.1857937"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497576"},{"year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.18"},{"year":"0","key":"ref1"}],"event":{"name":"2011 International Conference on Field-Programmable Technology (FPT)","start":{"date-parts":[[2011,12,12]]},"location":"New Delhi, India","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 International Conference on Field-Programmable Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6126157\/6132640\/06132681.pdf?arnumber=6132681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:31:37Z","timestamp":1497951097000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6132681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/fpt.2011.6132681","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}