{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:30:44Z","timestamp":1729618244003,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iske.2017.8258777","type":"proceedings-article","created":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T22:47:01Z","timestamp":1516056421000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Conflicting rate based branching heuristic for CDCL SAT solvers"],"prefix":"10.1109","author":[{"given":"Qingshan","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Guanfeng","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Xingxing","family":"He","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24318-4_29"},{"key":"ref11","article-title":"Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010","author":"biere","year":"2010","journal-title":"FMV Report Series Technical report 10\/1 Institute for Formal Models and Verification Johannes Kepler University"},{"key":"ref12","first-page":"42","article-title":"Glucose 2.3 in the SAT 2013 Competition","author":"audemard","year":"2013","journal-title":"Proceedings of SAT Competition 2013"},{"key":"ref13","first-page":"23","article-title":"CryptoMiniSat v4","author":"soos","year":"2014","journal-title":"Sat competition"},{"key":"ref14","first-page":"431","article-title":"Boosting combinatorial search through randomization","author":"gomes","year":"1998","journal-title":"Nat Conf Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_36"},{"journal-title":"Efficient Algorithms for Clause Learning SAT Solvers","year":"2004","author":"ryan","key":"ref17"},{"key":"ref18","first-page":"28","volume":"4996","author":"biere","year":"2008","journal-title":"Adaptive restart strategies for conflict driven SAT solvers"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006314320276"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531077"},{"key":"ref3","first-page":"127","article-title":"Conflict-driven clause learning SAT solvers","author":"marques-silva","year":"2009","journal-title":"Handbook of Satisfiabi1ity [9]"},{"journal-title":"Improvements to Propositional Satisfiability Search Algorithms","year":"1995","author":"freeman","key":"ref6"},{"journal-title":"Report on a SAT competition Technical report University of Paderborn","year":"1992","author":"buro","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref9","first-page":"502","author":"e\u00e9n","year":"2003","journal-title":"An extensible SAT-solver"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v30i1.10439","article-title":"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers","author":"liang","year":"2016","journal-title":"In Proceedings of AAAI-16"},{"key":"ref21","first-page":"123","volume":"9710","author":"liang","year":"2016","journal-title":"Learning rate based branching heuristic for SAT solvers"}],"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\/08258777.pdf?arnumber=8258777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T15:56:49Z","timestamp":1660319809000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8258777\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iske.2017.8258777","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}