WPM3: An (in)complete algorithm for weighted partial MaxSAT

&
Artificial Intelligence 250 (C):37-57 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.05.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

MaxSAT by improved instance-specific algorithm configuration.Carlos Ansótegui, Joel Gabàs, Yuri Malitsky & Meinolf Sellmann - 2016 - Artificial Intelligence 235 (C):26-39.
A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.
Clause tableaux for maximum and minimum satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243 (C):26-44.
SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.
Multi-Level Refinement Algorithm of Weighted Hypergraph Partitioning Problem.Ming Leng, Ling-yu Sun & Kai-Qiang Guo - 2017 - Journal of Intelligent Systems 26 (3).
Fusion Algorithm of Multi-focus Images with Weighted Ratios and Weighted Gradient Based on Wavelet Transform.Wei-bin Chen, Mingxiao Hu, Lai Zhou, Hongbin Gu & Xin Zhang - 2019 - Journal of Intelligent Systems 28 (4):505-516.
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Weighted averaging, Jeffrey conditioning and invariance.Denis Bonnay & Mikaël Cozic - 2018 - Theory and Decision 85 (1):21-39.
Complete and Partial Organizing for Corporate Social Responsibility.Andreas Rasche, Frank G. A. de Bakker & Jeremy Moon - 2013 - Journal of Business Ethics 115 (4):651-663.
Strong reducibility of partial numberings.Dieter Spreen - 2005 - Archive for Mathematical Logic 44 (2):209-217.
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.Zhao Xing & Weixiong Zhang - 2005 - Artificial Intelligence 164 (1-2):47-80.
Natural boundary value problems for weighted form Laplacians.Wojciech Kozłowski & Antoni Pierzchalski - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (2):343-367.
Weighing Up Weighted Lotteries: Scarcity, Overlap Cases, and Fair Inequalities of Chance.Gerard Vong - 2020 - Ethics 130 (3):320-348.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,315,307)

6 months
4 (#783,478)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.

Add more references