Critical behavior in the computational cost of satisfiability testing

&
Artificial Intelligence 81 (1-2):273-295 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(95)00056-9

Other Versions

No versions found

Links

PhilArchive



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

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

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.Jeremias Berg & Matti Järvisalo - 2017 - Artificial Intelligence 244 (C):110-142.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
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.
The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.
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.
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.
A comparative runtime analysis of heuristic algorithms for satisfiability problems.Yuren Zhou, Jun He & Qing Nie - 2009 - Artificial Intelligence 173 (2):240-257.

Analytics

Added to PP
2020-12-22

Downloads
16 (#1,198,632)

6 months
6 (#879,768)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Algorithm portfolios.Carla P. Gomes & Bart Selman - 2001 - Artificial Intelligence 126 (1-2):43-62.
The TSP phase transition.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 88 (1-2):349-358.
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

Add more references