The satisfiability constraint gap

&
Artificial Intelligence 81 (1-2):59-80 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(95)00047-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

KT and S4 Satisfiability in a Constraint Logic Environment.Lynn Stevenson, Katarina Britz & Tertia Hörne - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 370--381.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Optimizing with minimum satisfiability.Chu Min Li, Zhu Zhu, Felip Manyà & Laurent Simon - 2012 - Artificial Intelligence 190 (C):32-44.
Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
Probabilistic sentence satisfiability: An approach to PSAT.T. C. Henderson, R. Simmons, B. Serbinowski, M. Cline, D. Sacharny, X. Fan & A. Mitiche - 2020 - Artificial Intelligence 278 (C):103199.
Backjumping for Quantified Boolean Logic satisfiability.Enrico Giunchiglia, Massimo Narizzano & Armando Tacchella - 2003 - Artificial Intelligence 145 (1-2):99-120.
On satisfiability in ATL with strategy contexts.Nicolas Troquard & Dirk Walther - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 398--410.
Generating hard satisfiability problems.Bart Selman, David G. Mitchell & Hector J. Levesque - 1996 - Artificial Intelligence 81 (1-2):17-29.
Propositional proof systems based on maximum satisfiability.Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Antonio Morgado & Joao Marques-Silva - 2021 - Artificial Intelligence 300 (C):103552.
On market-inspired approaches to propositional satisfiability.William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama & Michael P. Wellman - 2003 - Artificial Intelligence 144 (1-2):125-156.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,365,662)

6 months
5 (#1,035,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Implicates and prime implicates in Random 3-SAT.Robert Schrag & James M. Crawford - 1996 - Artificial Intelligence 81 (1-2):199-222.

Add more citations

References found in this work

Exploiting the deep structure of constraint problems.Colin P. Williams & Tad Hogg - 1994 - Artificial Intelligence 70 (1-2):73-117.
Easy problems are sometimes hard.Ian P. Gent & Toby Walsh - 1994 - Artificial Intelligence 70 (1-2):335-345.

Add more references