Implicates and prime implicates in Random 3-SAT

Artificial Intelligence 81 (1-2):199-222 (1996)
  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,934

External links

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

Through your library

Similar books and articles

Hard random 3-SAT problems and the Davis-Putnam procedure.Jon W. Freeman - 1996 - Artificial Intelligence 81 (1-2):183-198.
Popularity-similarity random SAT formulas.Jesús Giráldez-Cru & Jordi Levy - 2021 - Artificial Intelligence 299 (C):103537.
New width parameters for SAT and #SAT.Robert Ganian & Stefan Szeider - 2021 - Artificial Intelligence 295 (C):103460.
Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
SAT Competition 2020.Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo & Martin Suda - 2021 - Artificial Intelligence 301 (C):103572.
SAT Race 2015.Tomáš Balyo, Armin Biere, Markus Iser & Carsten Sinz - 2016 - Artificial Intelligence 241 (C):45-65.
Compiling problem specifications into SAT.Marco Cadoli & Andrea Schaerf - 2005 - Artificial Intelligence 162 (1-2):89-120.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,485,007)

6 months
3 (#1,499,762)

Historical graph of downloads
How can I increase my downloads?