A logical approach to efficient Max-SAT solving

, &
Artificial Intelligence 172 (2-3):204-233 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.05.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
Understanding the power of Max-SAT resolution through UP-resilience.Mohamed Sami Cherif, Djamal Habet & André Abramé - 2020 - Artificial Intelligence 289:103397.
Learning MAX-SAT from contextual examples for combinatorial optimisation.Mohit Kumar, Samuel Kolb, Stefano Teso & Luc De Raedt - 2023 - Artificial Intelligence 314 (C):103794.
Learning action models from plan examples using weighted MAX-SAT.Qiang Yang, Kangheng Wu & Yunfei Jiang - 2007 - Artificial Intelligence 171 (2-3):107-143.
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner & Stefan Woltran - 2022 - Artificial Intelligence 307 (C):103697.
A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.
New width parameters for SAT and #SAT.Robert Ganian & Stefan Szeider - 2021 - Artificial Intelligence 295 (C):103460.
A statistical approach to adaptive problem solving.Jonathan Gratch & Gerald DeJong - 1996 - Artificial Intelligence 88 (1-2):101-142.
A probabilistic approach to solving crossword puzzles.Michael L. Littman, Greg A. Keim & Noam Shazeer - 2002 - Artificial Intelligence 134 (1-2):23-55.
Towards efficient universal planning: A randomized approach.Peter Jonsson, Patrik Haslum & Christer Bäckström - 2000 - Artificial Intelligence 117 (1):1-29.

Analytics

Added to PP
2020-12-22

Downloads
8 (#517,646)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.

Add more citations

References found in this work

Bucket elimination: A unifying framework for reasoning.Rina Dechter - 1999 - Artificial Intelligence 113 (1-2):41-85.
Arc-consistency and arc-consistency again.Christian Bessière - 1994 - Artificial Intelligence 65 (1):179-190.

Add more references