{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:37Z","timestamp":1725576277650},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_13","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:34:36Z","timestamp":1295346876000},"page":"143-156","source":"Crossref","is-referenced-by-count":3,"title":["An Evolutionary Local Search Method for Incremental Satisfiability"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"El Bachir Mena\u00ef","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Introduction to Artificial Life","author":"C. Adami","year":"1999","unstructured":"Adami, C.: Introduction to Artificial Life. Springer, Heidelberg (1999)"},{"issue":"23","key":"13_CR2","first-page":"5211","volume":"86","author":"P. Bak","year":"1987","unstructured":"Bak, P., Tang, C., Wiesenfeld, K.: Self-Organized Criticality: An Explanation of 1\/f noise. Physical Review Letters\u00a086(23), 5211\u20135214 (1987)","journal-title":"Physical Review Letters"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1103\/PhysRevLett.59.381","volume":"59","author":"P. Bak","year":"1993","unstructured":"Bak, P., Sneppen, K.: Punctuated Equilibrium and Criticality in a Simple Model of Evolution. Physical Review Letters\u00a059, 381\u2013384 (1993)","journal-title":"Physical Review Letters"},{"key":"13_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-5426-1","volume-title":"How Nature Works","author":"P. Bak","year":"1996","unstructured":"Bak, P.: How Nature Works. Springer, Heidelberg (1996)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0004-3702(00)00007-2","volume":"119","author":"S. Boettcher","year":"2000","unstructured":"Boettcher, S., Percus, A.G.: Nature\u2019s Way of Optimizing. Artificial Intelligence\u00a0119, 275\u2013286 (2000)","journal-title":"Artificial Intelligence"},{"issue":"23","key":"13_CR6","doi-asserted-by":"publisher","first-page":"5211","DOI":"10.1103\/PhysRevLett.86.5211","volume":"86","author":"S. Boettcher","year":"2001","unstructured":"Boettcher, S., Percus, A.G.: Optimization with Extremal Dynamics. Physical Review Letters\u00a086(23), 5211\u20135214 (2001)","journal-title":"Physical Review Letters"},{"issue":"026114","key":"13_CR7","first-page":"1","volume":"64","author":"S. Boettcher","year":"2001","unstructured":"Boettcher, S., Percus, A.G.: Extremal Optimization for Graph Partitioning. Physical Review E\u00a064(026114), 1\u201313 (2001)","journal-title":"Physical Review E"},{"issue":"5","key":"13_CR8","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1142\/S0129183101001857","volume":"12","author":"I. Bose","year":"2001","unstructured":"Bose, I., Chandhuri, I.: Bacteria Evolution and the Bak-Sneppen Model. International Journal of Modern Physics C\u00a012(5), 675\u2013683 (2001)","journal-title":"International Journal of Modern Physics C"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The Complexity of Theorem Proving Procedures. In: Proceedings of the 3rd Annual ACM Symposium of the Theory of Computation, pp. 263\u2013268 (1971)","DOI":"10.1145\/800157.805047"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing Procedure for Quantification Theory. Journal of the Association for Computing Machinery\u00a07, 201\u2013215 (1960)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"13_CR11","first-page":"32","volume-title":"Proceedings of AAAI 1988","author":"R. Dechter","year":"1988","unstructured":"Dechter, R., Dechter, A.: Belief Maintenance in Dynamic Constraint Networks. In: Proceedings of AAAI 1988, pp. 32\u201342. MIT Press, Cambridge (1988)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Temporal Induction by Incremental SAT Solving. Electronic Notes in Theoretical Computer Science, vol.\u00a089(4) (2004), http:\/\/www.elsevier.nl\/locate\/entcs\/volume89.html","DOI":"10.1016\/S1571-0661(05)82542-3"},{"key":"13_CR13","unstructured":"Gutierrez, J., Mali, A.D.: Local Search for Incremental Satisfiability. In: Proceedings of the International Conference on Artificial Intelligence (ICAI 2002), Las Vegas, USA, pp. 986\u2013991 (2002)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(93)90018-C","volume":"15","author":"J.N. Hooker","year":"1993","unstructured":"Hooker, J.N.: Solving the Incremental Satisfiability Problem. Journal of Logic Programming\u00a015, 177\u2013186 (1993)","journal-title":"Journal of Logic Programming"},{"key":"13_CR15","unstructured":"Hoos, H.H., O\u2019Neill, K.: Stochastic Local Search Methods for Dynamic SAT \u2013 An Initial Investigation. In: Proceedings of AAAI 2000. Workshop \u2018Leveraging Probability and Uncertainty in Computation\u2019, pp. 22\u201326 (2000)"},{"key":"13_CR16","unstructured":"Kim, J., Whittemore, J., Marques-Silva, J.P., Sakallah, K.: Incremental Boolean Satisfiability and Its Application to Delay Fault Testing. In: IEEE\/ACM International Workshop on Logic Synthesis (1999)"},{"key":"13_CR17","volume-title":"Automated Theorem Proving: A Logical Basis","author":"D.W. Loveland","year":"1978","unstructured":"Loveland, D.W.: Automated Theorem Proving: A Logical Basis. North-Holland, Amsterdam (1978)"},{"key":"13_CR18","unstructured":"Mc Allester, D., Selman, B., Kautz, H.: Evidence for Invariants in Local Search. In: Proceedings of IJCAI 1997 (1997)"},{"key":"13_CR19","unstructured":"Mena\u00ef, M.B., Batouche, M.: EO for MAXSAT. In: Proceedings of the International Conference on Artificial Intelligence (IC-AI 2002), Las Vegas, USA, pp. 954\u2013958 (2002)"},{"key":"13_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/3-540-45034-3_60","volume-title":"Developments in Applied Artificial Intelligence","author":"M.B. Mena\u00ef","year":"2003","unstructured":"Mena\u00ef, M.B., Batouche, M.: Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA\/AIE 2003. LNCS (LNAI), vol.\u00a02718, pp. 592\u2013603. Springer, Heidelberg (2003)"},{"key":"13_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04131-4","volume-title":"How to Solve It : Modern Heuristics","author":"Z. Michalewicz","year":"2000","unstructured":"Michalewicz, Z., Fogel, D.B.: How to Solve It: Modern Heuristics. Springer, Heidelberg (2000)"},{"key":"13_CR22","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Noise Strategies for Improving Local Search. In: Proceedings of the 12th National Conference on Artificial Intelligence, pp. 337\u2013343 (1994)"},{"issue":"9","key":"13_CR23","doi-asserted-by":"publisher","first-page":"1329","DOI":"10.1142\/S0129183101002620","volume":"12","author":"T. Yamano","year":"2001","unstructured":"Yamano, T.: Regulation Effects on Market with Bak-Sneppen Model in High Dimensions. International Journal of Modern Physics C\u00a012(9), 1329\u20131333 (2001)","journal-title":"International Journal of Modern Physics C"},{"key":"13_CR24","unstructured":"http:\/\/www.satlib.org\/"},{"key":"13_CR25","unstructured":"http:\/\/dimacs.rutgers.edu\/Challenges\/"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T23:18:07Z","timestamp":1559949487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}