{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T06:53:04Z","timestamp":1758264784715},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344121"},{"type":"electronic","value":"9783642344138"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34413-8_40","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:58:57Z","timestamp":1349071137000},"page":"431-436","source":"Crossref","is-referenced-by-count":9,"title":["Natural Max-SAT Encoding of Min-SAT"],"prefix":"10.1007","author":[{"given":"Adrian","family":"K\u00fcgel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"bwGRiD, member of the German D-Grid initiative, funded by the Ministry for Education and Research and the Ministry for Science, Research and Arts Baden-Wuerttemberg, \n                    \n                      http:\/\/www.bw-grid.de"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/11814948_24","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"M.L. Bonet","year":"2006","unstructured":"Bonet, M.L., Levy, J., Many\u00e0, F.: A Complete Calculus for Max-SAT. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 240\u2013251. Springer, Heidelberg (2006)"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1016\/j.artint.2007.03.001","volume":"171","author":"M.L. Bonet","year":"2007","unstructured":"Bonet, M.L., Levy, J., Many\u00e0, F.: Resolution for Max-SAT. Artif. Intell.\u00a0171, 606\u2013618 (2007)","journal-title":"Artif. Intell."},{"key":"40_CR4","unstructured":"Kuegel, A.: Improved exact solver for the weighted max-sat problem. In: Workshop Pragmatics of SAT (2010)"},{"issue":"2-3","key":"40_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.artint.2007.05.006","volume":"172","author":"J. Larrosa","year":"2008","unstructured":"Larrosa, J., Heras, F., de Givry, S.: A logical approach to efficient Max-SAT solving. Artif. Intell.\u00a0172(2-3), 204\u2013233 (2008)","journal-title":"Artif. Intell."},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-02777-2_43","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"C.M. Li","year":"2009","unstructured":"Li, C.M., Many\u00e0, F., Mohamedou, N., Planes, J.: Exploiting Cycle Structures in Max-SAT. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol.\u00a05584, pp. 467\u2013480. Springer, Heidelberg (2009)"},{"key":"40_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-14186-7_33","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2010","author":"C.M. Li","year":"2010","unstructured":"Li, C.M., Many\u00e0, F., Quan, Z., Zhu, Z.: Exact MinSAT Solving. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol.\u00a06175, pp. 363\u2013368. Springer, Heidelberg (2010)"},{"key":"40_CR8","unstructured":"Li, C.M., Zhu, Z., Many\u00e0, F., Simon, L.: Minimum Satisfiability and Its Applications. In: Walsh, T. (ed.) IJCAI, pp. 605\u2013610. IJCAI\/AAAI (2011)"}],"container-title":["Lecture Notes in Computer Science","Learning and Intelligent Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34413-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:14:44Z","timestamp":1558314884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34413-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344121","9783642344138"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34413-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}