{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:16:27Z","timestamp":1771262187006,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540797180","type":"print"},{"value":"9783540797197","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79719-7_21","type":"book-chapter","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T08:04:57Z","timestamp":1210061097000},"page":"225-230","source":"Crossref","is-referenced-by-count":19,"title":["Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms"],"prefix":"10.1007","author":[{"given":"Joao","family":"Marques-Silva","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Manquinho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Argelich, J., Li, C.M., Many\u00e0, F., Planes, J.: MaxSAT evaluation, http:\/\/www.maxsat07.udl.es"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Een, N., S\u00f6rensson, N.: An extensible SAT solver. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 502\u2013518 (May 2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Een, N., S\u00f6rensson, N.: Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation\u00a02 (March 2006)","DOI":"10.3233\/SAT190014"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 252\u2013265 (August 2006)","DOI":"10.1007\/11814948_25"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSat: a new weighted Max-SAT solver. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 41\u201355 (May 2007)","DOI":"10.1007\/978-3-540-72788-0_8"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1613\/jair.2215","volume":"30","author":"C.M. Li","year":"2007","unstructured":"Li, C.M., Many\u00e0, F., Planes, J.: New inference rules for Max-SAT. Journal of Artificial Intelligence Research\u00a030, 321\u2013359 (2007)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"21_CR7","unstructured":"Manquinho, V., Roussel, O.: Pseudo-Boolean evaluation, http:\/\/www.cril.univ-artois.fr\/PB07"},{"key":"21_CR8","unstructured":"Marques-Silva, J., Planes, J.: On using unsatisfiability for solving maximum satisfiability. Computing Research Repository, abs\/0712.0097 (December 2007)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Planes, J.: Algorithms for maximum satisfiability using unsatisfiable cores. In: Design, Automation and Testing in Europe Conference (March 2008)","DOI":"10.1145\/1403375.1403474"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Prestwich, S.D.: Variable dependency in local search: Prevention is better than cure. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 107\u2013120 (May 2007)","DOI":"10.1007\/978-3-540-72788-0_14"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Safarpour, S., Mangassarian, H., Veneris, A., Liffiton, M.H., Sakallah, K.A.: Improved design debugging using maximum satisfiability. In: Formal Methods in Computer-Aided Design, pp. 13\u201319 (November 2007)","DOI":"10.1109\/FMCAD.2007.4401977"},{"key":"21_CR12","unstructured":"Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Design, Automation and Testing in Europe Conference, pp. 10880\u201310885 (March 2003)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79719-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:20:09Z","timestamp":1606184409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79719-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797180","9783540797197"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79719-7_21","relation":{},"subject":[]}}