Resolution for Max-SAT

, &
Artificial Intelligence 171 (8-9):606-618 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.03.001

Links

PhilArchive



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

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

SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Structure features for SAT instances classification.Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru & Jordi Levy - 2017 - Journal of Applied Logic 23:27-39.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Degree complexity for a modified pigeonhole principle.Maria Luisa Bonet & Nicola Galesi - 2003 - Archive for Mathematical Logic 42 (5):403-414.
A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Split Resolution in Greek Dramatic Lyric.L. P. E. Parker - 1968 - Classical Quarterly 18 (2):241-269.
Ethical regulation on researches at Brazil: do we need the 510 Resolution?Carlos Adriano Silva dos Santos - 2018 - Revista Iberoamericana de Bioética 6:01-12.
Relative efficiency of propositional proof systems: resolution vs. cut-free LK.Noriko H. Arai - 2000 - Annals of Pure and Applied Logic 104 (1-3):3-16.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown
Group Cancellation and Resolution.Alessandra Carbone - 2006 - Studia Logica 82 (1):73-93.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Legitimacy and the virtualization of dispute resolution.Laurens Mommers - 2005 - Artificial Intelligence and Law 13 (2):207-232.
Model-Baded Abduction via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,020,711)

6 months
11 (#191,387)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
A resolution calculus for MinSAT.Chu-Min Li, Fan Xiao & Felip Manyà - 2021 - Logic Journal of the IGPL 29 (1):28-44.

View all 7 citations / Add more citations

References found in this work

Add more references