New local search methods for partial MaxSAT

, , &
Artificial Intelligence 240 (C):1-18 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2016.07.006

Links

PhilArchive



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

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

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.
Particle Swarm Optimization with Enhanced Global Search and Local Search.Jie Wang & Hongwen Li - 2017 - Journal of Intelligent Systems 26 (3).
WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.
Local search with edge weighting and configuration checking heuristics for minimum vertex cover.Shaowei Cai, Kaile Su & Abdul Sattar - 2011 - Artificial Intelligence 175 (9-10):1672-1696.
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.
Consequences of Women's Formal and Informal Job Search Methods for Employment in Female-Dominated Jobs.Patricia Drentea - 1998 - Gender and Society 12 (3):321-338.
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications.François Schwarzentruber - 2015 - Journal of Logic, Language and Information 24 (4):375-408.
The Economics of Search.Brian Patrick McCall & John Joseph McCall - 2003 - Routledge.
Local Lyapunov Exponents Computed From Observed Data.H. D. I. Abarbanel - 1992 - Journal of Nonlinear Science 2 (3):343-365.
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.Yiyuan Wang, Shaowei Cai, Jiejiang Chen & Minghao Yin - 2020 - Artificial Intelligence 280 (C):103230.
SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.
Towards a Theory of Partial Truth.Jean-Pierre Marquis - 1988 - Dissertation, Mcgill University (Canada)

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,535,575)

6 months
3 (#962,988)

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.

Add more references