{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:35Z","timestamp":1725564875918},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202028"},{"type":"electronic","value":"9783540451938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_64","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T23:35:03Z","timestamp":1283988903000},"page":"842-846","source":"Crossref","is-referenced-by-count":20,"title":["(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: Proc. of DAC (2001)","DOI":"10.1145\/378239.379017"},{"key":"64_CR2","unstructured":"Simon, L., Le Berre, D., Hirsch, E.A.: The SAT 2002 Competition"},{"key":"64_CR3","unstructured":"Freeman, J.W.: Improvements to propositional satisfiability search algorithms. PhD thesis, University of Pennsylvania (1995)"},{"key":"64_CR4","first-page":"366","volume-title":"Proc. of IJCAI","author":"C.M. Li","year":"1997","unstructured":"Li, C.M., Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems. In: Proc. of IJCAI, pp. 366\u2013371. Morgan-Kauffmann, San Francisco (1997)"},{"key":"64_CR5","first-page":"203","volume-title":"Proc. of AAAI","author":"R.J. Bayardo Jr.","year":"1997","unstructured":"Bayardo Jr., R.J., Schrag, R.C.: Using CSP Look-Back Techniques to Solve Real-World SAT instances. In: Proc. of AAAI, pp. 203\u2013208. AAAI Press, Menlo Park (1997)"},{"key":"64_CR6","volume-title":"Proc. of AAAI","author":"F. Bacchus","year":"2001","unstructured":"Bacchus, F.: Enhancing Davis Putnam with Extended Binary Clause Reasoning. In: Proc. of AAAI. AAAI Press, Menlo Park (2001)"},{"key":"64_CR7","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/dimacs\/035\/02","volume-title":"Satisfiability Problem: Theory and Applications","author":"J. Gu","year":"1997","unstructured":"Gu, J., Purdom, P.W., Franco, J., Wah, B.W.: Algorithms for the Satisfiability (SAT) Problem: A Survey. In: Satisfiability Problem: Theory and Applications. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 19\u2013153. AMS, Providence (1997)"},{"key":"64_CR8","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Maratea, M., Tacchella, A.: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver, Technical report (2003), available at http:\/\/www.mrg.dist.unige.it\/~tac\/Reports\/failed.ps","DOI":"10.1007\/978-3-540-45193-8_64"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T07:25:11Z","timestamp":1559633111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}