Proving unsatisfiability for problems with constant cubic sparsity

Artificial Intelligence 57 (1):125-137 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90107-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

On Proving Too Much.Moti Mizrahi - 2013 - Acta Analytica 28 (3):353-358.
Minimum Rank Positive Semidefinite Matrix Completion with Chordal Sparsity Pattern.Jiang Xin - unknown
Sparsity vs. Statistical Independence in Adaptive Signal Representations: A Case Study of the Spike Process.Benichou Bertrand & Saito Naoki - unknown
Neutrosophic Cubic Subalgebras and Neutrosophic Cubic Closed Ideals of B-algebras.Rakib Iqbal, Sohail Zafar & Muhammad Shoaib Sardar - 2016 - Neutrosophic Sets and Systems 14:47-60.
Trapezoidal Linguistic Cubic Fuzzy TOPSIS Method and Application in a Group Decision Making Program.Shah Hussain, Muhammad Aslam, Fazli Amin, Saleem Abdullah & Aliya Fahmi - 2019 - Journal of Intelligent Systems 29 (1):1283-1300.
Precursor Selection for Sol–Gel Synthesis of Titanium Carbide Nanopowders by a New Cubic Fuzzy Multi-Attribute Group Decision-Making Model.Aliya Fahmi, Saleem Abdullah, Fazli Amin & Asad Ali - 2019 - Journal of Intelligent Systems 28 (5):699-720.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas.Fabio Bellissima - 1984 - Notre Dame Journal of Formal Logic 25 (2):117-126.
Why constant? A critical overview of the constant revival.Helena Rosenblatt - 2004 - Modern Intellectual History 1 (3):439-453.
The cosmological constant, the fate of the universe, unimodular gravity, and all that.John Earman - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (4):559-577.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Inference rules for unsatisfiability.David A. Plaisted - 1979 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability.Lavinia María Picollo - 2013 - Studia Logica 101 (3):601-617.
Classical Quintessence and the Cosmological Constant.Michael A. Sherbon - manuscript

Analytics

Added to PP
2020-12-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Philip Jackson
Tilburg University (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references