Understanding the power of Max-SAT resolution through UP-resilience

Artificial Intelligence 289 (C):103397 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,334,820)

6 months
5 (#1,080,408)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.

Add more references