{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:49Z","timestamp":1763467729297},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331438"},{"type":"electronic","value":"9783540331445"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11729976_30","type":"book-chapter","created":{"date-parts":[[2006,2,28]],"date-time":"2006-02-28T06:47:42Z","timestamp":1141109262000},"page":"331-340","source":"Crossref","is-referenced-by-count":14,"title":["Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming"],"prefix":"10.1007","author":[{"given":"Raihan H.","family":"Kibria","sequence":"first","affiliation":[]},{"given":"You","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J.R. Koza","year":"1994","unstructured":"Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge Massachusetts (1994)"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM, \u00a05 (1962)","DOI":"10.1145\/368273.368557"},{"key":"30_CR3","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 the 38th Design Automation Conference (2001)","DOI":"10.1145\/378239.379017"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Een, N., S\u00f6rensson, N.: An Extensible SAT-solver. SAT (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"30_CR5","unstructured":"Hollick, M., Kuhlmann, H.: Genetic Programming in C\/C++. CSE99\/CIS899 Final Report (May 1995), http:\/\/www.cis.upenn.edu\/~hollick\/genetic\/paper2.html"},{"key":"30_CR6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607","volume-title":"GRASP - A New Search Algorithm for Satisfiability","author":"J.P. Marques-Silva","year":"1996","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: GRASP - A New Search Algorithm for Satisfiability. ICCAD. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"30_CR7","unstructured":"Velev, M.N.: ENGINE-UNSAT.1.0, FVP-UNSAT.2.0, PIPE-UNSAT.1.1, Available from: http:\/\/www.ece.cmu.edu\/~mvelev"},{"issue":"12","key":"30_CR8","first-page":"1562","volume":"10","author":"F.A. Aloul","year":"2004","unstructured":"Aloul, F.A., Markov, I.L., Sakallah, K.A.: MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. Journal of Universal Computer Science\u00a010(12), 1562\u20131596 (2004)","journal-title":"Journal of Universal Computer Science"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11729976_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:13Z","timestamp":1619506273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11729976_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331438","9783540331445"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11729976_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}