MaxSAT by improved instance-specific algorithm configuration

, , &
Artificial Intelligence 235 (C):26-39 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.12.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
On the impact of the performance metric on efficient algorithm configuration.George T. Hall, Pietro S. Oliveto & Dirk Sudholt - 2022 - Artificial Intelligence 303 (C):103629.
Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.
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.
An improved approximation algorithm for maximin shares.Jugal Garg & Setareh Taki - 2021 - Artificial Intelligence 300 (C):103547.
BIDA∗: an improved perimeter search algorithm.Giovanni Manzini - 1995 - Artificial Intelligence 75 (2):347-360.
Integrating multi-armed bandit with local search for MaxSAT.Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li & Felip Manyà - 2025 - Artificial Intelligence 338 (C):104242.
Democratic instance selection: A linear complexity instance selection algorithm based on classifier ensemble concepts.César García-Osorio, Aida de Haro-García & Nicolás García-Pedrajas - 2010 - Artificial Intelligence 174 (5-6):410-441.
An improved tabu search algorithm for 3D protein folding problem.Xiaolong Zhang & Wen Cheng - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 1104--1109.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,280,710)

6 months
7 (#718,806)

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