-
1
-
-
0036520257
-
Space complexity in propositional calculus
-
A preliminary version appeared in STOC'00
-
M. Alekhnovich, E. Ben-Sasson, A. Razborov, and A. Wigderson. Space complexity in propositional calculus. SIAM Journal of Computing, 31(4):1184-1211, 2002. A preliminary version appeared in STOC'00.
-
(2002)
SIAM Journal of Computing
, vol.31
, Issue.4
, pp. 1184-1211
-
-
Alekhnovich, M.1
Ben-Sasson, E.2
Razborov, A.3
Wigderson, A.4
-
6
-
-
84941154026
-
On the automatizability of resolution and related prepositional proof systems
-
Computer Science Logic '2002, 16th Annual Conference of the EACSL. Springer
-
A. Atserias and M. L. Bonet. On the automatizability of resolution and related prepositional proof systems. In Computer Science Logic '2002, 16th Annual Conference of the EACSL, volume 2471 of Lecture Notes in Computer Science, pages 569-583. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2471
, pp. 569-583
-
-
Atserias, A.1
Bonet, M.L.2
-
9
-
-
0000802475
-
Short proofs are narrow-resolution made simple
-
E. Ben-Sasson and A. Wigderson. Short proofs are narrow-resolution made simple. J. ACM, 48(2):149-169, 2001.
-
(2001)
J. ACM
, vol.48
, Issue.2
, pp. 149-169
-
-
Ben-Sasson, E.1
Wigderson, A.2
-
10
-
-
0038036843
-
Optimality of size-width trade-offs for resolution
-
To appear. A preliminary version appeared in FOCS'99
-
M. L. Bonet and N. Galesi. Optimality of size-width trade-offs for resolution. Journal of Computational Complexity, 2001. To appear. A preliminary version appeared in FOCS'99.
-
(2001)
Journal of Computational Complexity
-
-
Bonet, M.L.1
Galesi, N.2
-
11
-
-
0024090265
-
Many hard examples for resolution
-
V. Chvátal and E. Szemerédi. Many hard examples for resolution. J. ACM, 35(4):759-768, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.4
, pp. 759-768
-
-
Chvátal, V.1
Szemerédi, E.2
-
13
-
-
84957041924
-
Constraint satisfaction, bounded treewidth, and finite variable logics
-
8th International Conference on Principles and Practice of Constraint Programming (CP). Springer
-
V. Dalmau, P. G. Kolaitis, and M. Y. Vardi. Constraint satisfaction, bounded treewidth, and finite variable logics. In 8th International Conference on Principles and Practice of Constraint Programming (CP), volume 2470 of Lecture Notes in Computer Science, pages 310-326. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2470
, pp. 310-326
-
-
Dalmau, V.1
Kolaitis, P.G.2
Vardi, M.Y.3
-
16
-
-
0032057865
-
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
-
T. Feder and M. Y. Vardi. The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. SIAM Journal of Computing, 28(1):51-104, 1998.
-
(1998)
SIAM Journal of Computing
, vol.28
, Issue.1
, pp. 51-104
-
-
Feder, T.1
Vardi, M.Y.2
-
17
-
-
0040944353
-
Finite variable logics in descriptive complexity theory
-
M. Grohe. Finite variable logics in descriptive complexity theory. Bulletin of Symbolic Logic, 4:345-398, 1998.
-
(1998)
Bulletin of Symbolic Logic
, vol.4
, pp. 345-398
-
-
Grohe, M.1
-
18
-
-
0000076101
-
The intractability of resolution
-
A. Haken. The intractability of resolution. Theoretical Computer Science, 39:297-308, 1985.
-
(1985)
Theoretical Computer Science
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
20
-
-
0034295721
-
Conjunctive-query containment and constraint satisfaction
-
P. G. Kolaitis and M. Y. Vardi. Conjunctive-query containment and constraint satisfaction. Journal of Computer and System Sciences, 61(2):302-332, 2000.
-
(2000)
Journal of Computer and System Sciences
, vol.61
, Issue.2
, pp. 302-332
-
-
Kolaitis, P.G.1
Vardi, M.Y.2
-
23
-
-
84940371644
-
How to lie without being (easily) convicted and the lengths of proofs in propositional calculus
-
Pacholski and Tiuryn, editors, Computer Science Logic '94. Springer-Verlag
-
P. Pudlák and S. R. Buss. How to lie without being (easily) convicted and the lengths of proofs in propositional calculus. In Pacholski and Tiuryn, editors, Computer Science Logic '94, volume 933 of Lecture Notes in Computer Science, pages 151-162. Springer-Verlag, 1995.
-
(1995)
Lecture Notes in Computer Science
, vol.933
, pp. 151-162
-
-
Pudlák, P.1
Buss, S.R.2
-
26
-
-
0035739454
-
A complexity gap for tree-resolution
-
S. Riis. A complexity gap for tree-resolution. Computational Complexity, 10:179-209, 2001.
-
(2001)
Computational Complexity
, vol.10
, pp. 179-209
-
-
Riis, S.1
-
28
-
-
0023250297
-
Hard examples for resolution
-
A. Urquhart. Hard examples for resolution. J. ACM, 34(1):209-219, 1987.
-
(1987)
J. ACM
, vol.34
, Issue.1
, pp. 209-219
-
-
Urquhart, A.1
|