✦ LIBER ✦

A Complexity Index for Satisfiability Problems

✍ Scribed by Boros, E.; Crama, Y.; Hammer, P. L.; Saks, M.

Book ID: 118177318
Publisher: Society for Industrial and Applied Mathematics
Year: 1994
Tongue: English
Weight: 531 KB
Volume: 23
Category: Article
ISSN: 0097-5397
DOI: 10.1137/s0097539792228629

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of Generalized Satisfiability

Complexity of Generalized Satisfiability Counting Problems

✍ Nadia Creignou; Miki Hermann 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 698 KB

The complexity of minimal satisfiability

The complexity of minimal satisfiability problems

✍ Lefteris M. Kirousis; Phokion G. Kolaitis 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 214 KB

The complexity of satisfiability problem

The complexity of satisfiability problems: Refining Schaefer's theorem

✍ Eric Allender; Michael Bauland; Neil Immerman; Henning Schnoor; Heribert Vollmer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 441 KB

Satisfiability problems for propositiona

Satisfiability problems for propositional calculi

✍ Harry R. Lewis 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 612 KB

A Dichotomy Theorem for Maximum Generali

A Dichotomy Theorem for Maximum Generalized Satisfiability Problems

✍ N. Creignou 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 930 KB

We study the complexity of an infinite class of optimization satisfiability problems. Each problem is represented through a finite set, \(S\), of logical relations (generalizing the notion of clauses of bounded length). We prove the existence of a dichotomic classification for optimization satisfiab

A hierarchy of tractable satisfiability

A hierarchy of tractable satisfiability problems

✍ Mukesh Dalal; David W. Etherington 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 768 KB