{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/approximation-strategies-for-incomplete","title":"Approximation Strategies for Incomplete MaxSAT","arxiv_id":"1806.07164","date":"2018-06-19","proceeding":null,"authors":["Saurabh Joshi","Prateek Kumar","Ruben Martins","Sukrut Rao"],"abstract":"Incomplete MaxSAT solving aims to quickly find a solution that attempts to\nminimize the sum of the weights of the unsatisfied soft clauses without\nproviding any optimality guarantees.\n  In this paper, we propose two approximation strategies for improving\nincomplete MaxSAT solving. In one of the strategies, we cluster the weights and\napproximate them with a representative weight. In another strategy, we break up\nthe problem of minimizing the sum of weights of unsatisfiable clauses into\nmultiple minimization subproblems. Experimental results show that approximation\nstrategies can be used to find better solutions than the best incomplete\nsolvers in the MaxSAT Evaluation 2017.","url_abs":"http://arxiv.org/abs/1806.07164v1","url_pdf":"http://arxiv.org/pdf/1806.07164v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"approximation-strategies-for-incomplete","repo_url":"https://github.com/sbjoshi/Open-WBO-Inc","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}