The hardness of the grid problem Gi Under the Routine Resolution Method

, &
Mathematical Logic Quarterly 33 (1):79-84 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19870330110

Links

PhilArchive



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

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

Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference-Grid File Transfer-Grid File Transfer During Deployment, Execution, and Retrieval.Francoise Caromel Baude & Mario Quilici Leyton - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 1191-1202.
Minimum propositional proof length is NP-Hard to linearly approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.
Etichette e routine artistica.Giulia Alberti - 2011 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 4 (2).
The cutaneous perceptions of softness and hardness.A. H. Sullivan - 1927 - Journal of Experimental Psychology 10 (6):447.
The resolution of two paradoxes by approximate reasoning using a fuzzy logic.J. F. Baldwin & N. C. F. Guild - 1980 - Synthese 44 (3):397 - 420.
Identity management in GRID computing and Service Oriented Architectures: research and practice. [REVIEW]Theodora Varvarigou & Vassiliki Andronikou - 2009 - Identity in the Information Society 2 (2):95-98.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown
Checkerboard Grid: Go and Chinese Chess—Urban Planning and Political Ideologies in American Westward Movement and Ancient China.Zhang Shaoqian - 2013 - Open Journal of Philosophy 3 (4):502.
Casuistry and the Business Case Method.Martin Calkins - 2001 - Business Ethics Quarterly 11 (2):237-259.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,090,149)

6 months
6 (#530,265)

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

No references found.

Add more references