{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:18:25Z","timestamp":1729660705139,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/tai.2003.1250175","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"94-99","source":"Crossref","is-referenced-by-count":0,"title":["Improving nogood recording using 2SAT"],"prefix":"10.1109","author":[{"given":"P.J.","family":"Stuckey","sequence":"first","affiliation":[]},{"family":"Lei Zheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"279","article-title":"Efficient conflict driven learning in a Boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"Procs of Int Conf on Computer-Aided Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref6","first-page":"331","article-title":"Improving SAT using 2SAT","author":"zheng","year":"2002","journal-title":"Procs of the 25th Australasian Computer Science Conf"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1090\/dimacs\/026\/27","article-title":"Satisfiability testing with more reasoning and less guessing","volume":"26","author":"van gelder","year":"1995","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"journal-title":"SATLIB","year":"0","key":"ref8"},{"key":"ref7","first-page":"62","article-title":"The impact of branching heuristics in propositional satisfiability algorithms","author":"marques-silva","year":"1999","journal-title":"Procs of the 9th Portuguese Conference on Artificial Intelligence"},{"key":"ref2","first-page":"203","article-title":"Using CSP look-back techniques to solve real-world SAT instances","author":"bayardo","year":"1997","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"journal-title":"SAT-Ex","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"}],"event":{"name":"15th IEEE International Conference on Tools with Artificial Intelligence","acronym":"TAI-03","location":"Sacramento, CA, USA"},"container-title":["Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8840\/27974\/01250175.pdf?arnumber=1250175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,21]],"date-time":"2018-04-21T10:26:00Z","timestamp":1524306360000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250175\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/tai.2003.1250175","relation":{},"subject":[]}}