{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:13:40Z","timestamp":1725675220407},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293498"},{"type":"electronic","value":"9783642293504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29350-4_78","type":"book-chapter","created":{"date-parts":[[2012,4,16]],"date-time":"2012-04-16T11:01:00Z","timestamp":1334574060000},"page":"662-670","source":"Crossref","is-referenced-by-count":2,"title":["Improving PAWS by the Island Confinement Method"],"prefix":"10.1007","author":[{"given":"Yousef","family":"Kilani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Bsoul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayoub","family":"Alsarhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ibrahim","family":"Obeidat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"78_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-14186-7_3","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2010","author":"A. Balint","year":"2010","unstructured":"Balint, A., Fr\u00f6hlich, A.: Improving Stochastic Local Search for SAT with a New Probability Distribution. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol.\u00a06175, pp. 10\u201315. Springer, Heidelberg (2010)"},{"issue":"6","key":"78_CR2","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10732-007-9020-8","volume":"13","author":"H. Fang","year":"2007","unstructured":"Fang, H., Kilani, Y., Lee, J.H., Stuckey, P.J.: The island confinement method for reducing search space in local search methods. Journal of Heuristics\u00a013(6), 557\u2013585 (2007)","journal-title":"Journal of Heuristics"},{"key":"78_CR3","unstructured":"Fang, H., Kilani, Y., Lee, J., Stucky, P.: Reducing Search Space in Local Search for Constraint Satisfaction. In: Proceeding of the American Association for Artificial Intelligence, pp. 200\u2013207 (2002)"},{"key":"78_CR4","unstructured":"Kilani, Y.: Speeding up Local Search by Using the Island Confinement Method. Ph.D. Thesis, Faculty of Information Science and Technology, University of Kebangsaan Malaysia, Malaysia (2007)"},{"key":"78_CR5","unstructured":"Fang, H., Kilani, Y., Lee, J., Stucky, P.: The Island Confinement Method for Reducing Search Space in Local Search Methods. Technical report, University of Melbourne, Department of Computer Science and Software Engineering (2006), http:\/\/www.cs.mu.oz.au\/pjs\/papers\/joh2006.pdf"},{"key":"78_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11527695_24","volume-title":"Theory and Applications of Satisfiability Testing","author":"D.A.D. Tompkins","year":"2005","unstructured":"Tompkins, D.A.D., Hoos, H.H.: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 306\u2013320. Springer, Heidelberg (2005)"},{"key":"78_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/SAT190042","volume":"4","author":"D. Pham","year":"2008","unstructured":"Pham, D., Thornton, J., Gretton, C., Sattar, A.: Combining Adaptive and Dynamic Local Search for Satisfiability. Journal on Satisfiability, Boolean Modeling and Computation, 4:149\u20134:172 (2008)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"7","key":"78_CR8","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem proving. Communications of the ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"78_CR9","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A New Method for Solving Hard Satisfiability Problems. In: Proceeding of the American Association for Artificial Intelligence, pp. 440\u2013446 (1992)"},{"key":"78_CR10","doi-asserted-by":"crossref","unstructured":"Audemard, G., Katsirelos, G., Simon, L.: A Restriction of Extended Resolution for Clauses Learning SAT Solvers. In: Proceeding of the Twenty-Fourth AAAI Conference on Artificial Intelligence, pp. 15\u201320 (2010)","DOI":"10.1609\/aaai.v24i1.7553"},{"key":"78_CR11","unstructured":"Wu, Z., Wah, B.: An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems. In: Proceeding of the 17th National Conference on Artificial Intelligence, pp. 310\u2013315 (2000)"},{"key":"78_CR12","unstructured":"Wu, Z., Wah, B.: Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. In: Proceeding of the 16th National Conference on Artificial Intelligence, pp. 673\u2013678 (1999a)"},{"key":"78_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/978-3-540-48085-3_3","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"B.W. Wah","year":"1999","unstructured":"Wah, B.W., Wu, Z.: The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 28\u201342. Springer, Heidelberg (1999b)"},{"key":"78_CR14","unstructured":"Schuurmans, D., Southey, F., Holte, R.: The exponentiated subgradient algorithm for heuristic boolean programming. In: Proceeding of the International Joint Conference on Artificial Intelligence, pp. 334\u2013341 (2001)"},{"issue":"1-3","key":"78_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10817-005-9010-1","volume":"35","author":"J. Thornton","year":"2005","unstructured":"Thornton, J.: Clause Weighting Local Search for SAT. Journal of Automated Reasoning\u00a035(1-3), 97\u2013142 (2005) ISSN:0168-7433","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29350-4_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T01:06:45Z","timestamp":1687396005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29350-4_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293498","9783642293504"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29350-4_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}