{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:43:32Z","timestamp":1729611812228,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iske.2017.8258776","type":"proceedings-article","created":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T17:47:01Z","timestamp":1516038421000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["A branching heuristic based on variable decision levels"],"prefix":"10.1109","author":[{"given":"Zhonghe","family":"Du","sequence":"first","affiliation":[]},{"given":"Zhenming","family":"Song","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"142","article-title":"Berk Min: a fast and robust SAT solver[C]","author":"goldberg","year":"2002","journal-title":"Design Automation Test Europe Conf"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531077"},{"key":"ref12","article-title":"Report on a SAT competition[R]","author":"buro","year":"1992","journal-title":"Technical Report"},{"key":"ref13","article-title":"SAT versus UNSAT[C]","author":"dubois","year":"1993","journal-title":"Second DIMACS Implementation Challenge"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48159-1_5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref16","first-page":"502","article-title":"An extensible SAT-solver[C]","volume":"2919","author":"een","year":"2004","journal-title":"Theory and Applications of Satisfiability Testing SAT 2003"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79719-7_4"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/978-3-319-24318-4_29","article-title":"Evaluating CDCL Variable Scoring Schemes[M]","author":"biere","year":"2015","journal-title":"Theory and Applications of Satisfiability Testing SAT 2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref5","first-page":"203","article-title":"Using CSP look-back techniques to solve real-world SAT instances[C]","author":"bayardo","year":"1997","journal-title":"In Proc of the 14th Nat (US) Conf on Artificial Intelligence (AAAI-97)"},{"key":"ref8","first-page":"131","article-title":"Conflict-driven clause learning SAT solvers[J]","volume":"185","author":"marques-silva","year":"2009","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref7","first-page":"35","article-title":"Algorithm for finding all-solutions of satisfiability problem[J]","volume":"45","author":"bi","year":"2009","journal-title":"Computer Engineering and Applications"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref9","first-page":"431","article-title":"Boosting combinatorial search through randomization[C]","author":"gomes","year":"2003","journal-title":"Nat Conf Artificial Intelligence"}],"event":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2017,11,24]]},"location":"Nanjing","end":{"date-parts":[[2017,11,26]]}},"container-title":["2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8246022\/8258711\/08258776.pdf?arnumber=8258776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T07:03:00Z","timestamp":1570604580000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8258776\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iske.2017.8258776","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}