𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The complexity of minimal satisfiability problems

✍ Scribed by Lefteris M. Kirousis; Phokion G. Kolaitis

Book ID
114273354
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
214 KB
Volume
187
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Complexity Index for Satisfiability Pr
A Complexity Index for Satisfiability Problems
✍ Boros, E.; Crama, Y.; Hammer, P. L.; Saks, M. πŸ“‚ Article πŸ“… 1994 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 531 KB
Generalized satisfiability problems: min
Generalized satisfiability problems: minimal elements and phase transitions
✍ Nadia Creignou; HervΓ© DaudΓ© πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 263 KB

We develop a probabilistic model on the generalized satisΓΏability problems deΓΏned by Schaefer (in: Proceedings of the 10th STOC, San Diego, CA, USA, Association for Computing Machinery, New York, 1978, pp. 216 -226) for which the arity of the constraints is ΓΏxed in order to study the associated phas