{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:27:00Z","timestamp":1729657620362,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/aspdac.2016.7428058","type":"proceedings-article","created":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T21:48:08Z","timestamp":1457646488000},"page":"480-485","source":"Crossref","is-referenced-by-count":2,"title":["MajorSat: A SAT solver to majority logic"],"prefix":"10.1109","author":[{"given":"Yu-Min","family":"Chou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yung-Chih","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun-Yao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ching-Yi","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"530","article-title":"Engineering an Efficient SAT Solver","author":"moskewicz","year":"2001","journal-title":"Proc Design Automation Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref12","article-title":"On the complexity of derivation in propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constr Math and Math Logic"},{"key":"ref13","first-page":"155","article-title":"A Rearrangement Search Strategy for Determining Propositional Satisfiability","author":"zabih","year":"1988","journal-title":"Proc National Conference on Artificial Intelligence"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2004.834177"},{"key":"ref15","first-page":"279","article-title":"Efficient Conflict Driven Learning in a Boolean Satisfiability Solver","author":"zhang","year":"2001","journal-title":"Proc International Conference on Computer Aided Design"},{"year":"0","key":"ref16"},{"year":"0","key":"ref17"},{"year":"0","key":"ref18"},{"year":"0","key":"ref19"},{"key":"ref4","article-title":"Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013","author":"biere","year":"2013","journal-title":"Sat competition"},{"key":"ref3","first-page":"399","article-title":"Predicting Learnt Clauses Quality in Modern SAT Solvers","author":"audemard","year":"2009","journal-title":"Proc International Joint Conference on Artificial Intelligence"},{"key":"ref6","first-page":"502","article-title":"An Extensible SAT-Solver","author":"een","year":"2003","journal-title":"Conference on Theory and Application of Satisfiability Testing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref7","article-title":"MiniSat v1.13 – A SAT Solver with Conflict-Clause Minimization","author":"een","year":"2005","journal-title":"Sat competition"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"ref1","article-title":"Majority Logic Representation and Satisfiability","author":"amar\u00fa","year":"2014","journal-title":"Proc of the International Workshop on Logic Synthesis"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/12.769433","article-title":"GRASP: A Search Algorithm for Propositional Satisfiability","volume":"48","author":"marques-silva","year":"1999","journal-title":"IEEE Transaction on Computers"}],"event":{"name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2016,1,25]]},"location":"Macao, Macao","end":{"date-parts":[[2016,1,28]]}},"container-title":["2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7422345\/7427971\/7428058.pdf?arnumber=7428058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T08:05:41Z","timestamp":1498291541000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7428058\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2016.7428058","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}