The maximum length of prime implicates for instances of 3-SAT

&
Artificial Intelligence 92 (1-2):317-329 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(97)00018-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Implicates and prime implicates in Random 3-SAT.Robert Schrag & James M. Crawford - 1996 - Artificial Intelligence 81 (1-2):199-222.
Sensitivity of different measures of the visibility of masked primes: Influences of prime–response and prime–target relations.Shah Khalid, Peter König & Ulrich Ansorge - 2011 - Consciousness and Cognition 20 (4):1473-1488.
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.
Argumentation in AI and law: Editors' introduction. [REVIEW]Trevor J. M. Bench-Capon & Paul E. Dunne - 2005 - Artificial Intelligence and Law 13 (1):1-8.
From The Poset Of Temporal Implicates/implicants To A Temporal Negative Form.P. Cordero, M. Enciso & I. de Guzman - 2002 - Reports on Mathematical Logic:3-53.
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.
What is length?Frank Henmueller & Karl Menger - 1961 - Philosophy of Science 28 (2):172-177.
The stationary set splitting game.Paul B. Larson & Saharon Shelah - 2008 - Mathematical Logic Quarterly 54 (2):187-193.
Prime models of computably enumerable degree.Rachel Epstein - 2008 - Journal of Symbolic Logic 73 (4):1373-1388.
Prime Matter and Extension in Aristotle.Paul Studtmann - 2006 - Journal of Philosophical Research 31:171-184.
Prime Matter and Extension in Aristotle.Paul Studtmann - 2006 - Journal of Philosophical Research 31:171-184.
Francesco Piccolomini on Prime Matter and Extension.Guy Claessens - 2012 - Vivarium 50 (2):225-244.
The Prime Spectrum of an MV-Algebra.L. Belluce, Antonio di Nola & Salvatore Sessa - 1994 - Mathematical Logic Quarterly 40 (3):331-346.
Characterization of prime numbers in łukasiewicz's logical matrix.Alexander S. Karpenko - 1989 - Studia Logica 48 (4):465 - 478.
Decidable and undecidable prime theories in infinite-valued logic.Daniele Mundici & Giovanni Panti - 2001 - Annals of Pure and Applied Logic 108 (1-3):269-278.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,036,661)

6 months
12 (#213,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in 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 references