{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:25:47Z","timestamp":1725755147533},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457156","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"490-495","source":"Crossref","is-referenced-by-count":1,"title":["Efficient decision ordering techniques for SAT-based test generation"],"prefix":"10.1109","author":[{"family":"Mingsong Chen","sequence":"first","affiliation":[]},{"family":"Xiaoke Qin","sequence":"additional","affiliation":[]},{"given":"Prabhat","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"480","article-title":"Tuning SAT checkers for bounded model checking","author":"shtrichman","year":"2000","journal-title":"CAV"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996713"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"2003","author":"hennessy","key":"ref13"},{"year":"0","key":"ref14"},{"key":"ref4","first-page":"254","article-title":"An analysis of SAT-based model checking techniques in an industrial environment","author":"amla","year":"2005","journal-title":"CHARME"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref6","first-page":"51","article-title":"An incremental algorithm to check satisfiability for bounded model checking","author":"jin","year":"2004","journal-title":"BMC"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.Design.2009.72"},{"key":"ref7","first-page":"58","article-title":"Pruning techniques for the sat-based bounded model checking problem","author":"strichman","year":"2001","journal-title":"CHARME"},{"journal-title":"zChaff","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48159-1_5","article-title":"The impact of branching heuristics in propositional satisfiability","author":"marques-silva","year":"1999","journal-title":"Proc of the Portuguese Conf on Artificial Intelligence"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457156.pdf?arnumber=5457156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:48:25Z","timestamp":1498016905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457156","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}