-
4
-
-
0000802475
-
Short proofs are narrow - Resolution made simple
-
A preliminary version appeared in Proc. 1999 Annual ACM Symposium on Theory of Computing
-
E. BEN-SASSON & A. WIGDERSON (2001). Short proofs are narrow - resolution made simple. J. Assoc. Comput. Mach. 48, 149-168. A preliminary version appeared in Proc. 1999 Annual ACM Symposium on Theory of Computing.
-
(2001)
J. Assoc. Comput. Mach.
, vol.48
, pp. 149-168
-
-
Ben-Sasson, E.1
Wigderson, A.2
-
5
-
-
0032644513
-
Non-automatizability of bounded-depth Frege proofs
-
Proc. IEEE Conference on Computational Complexity
-
M. BONET, C. DOMINGO, R. GAVALDÁ, A. MACIEL & T. PITASSI (1998). Non-automatizability of bounded-depth Frege proofs. In Proc. IEEE Conference on Computational Complexity, 15-23. To appear in J. Comput. Complexity.
-
(1998)
J. Comput. Complexity
, pp. 15-23
-
-
Bonet, M.1
Domingo, C.2
Gavaldá, R.3
Maciel, A.4
Pitassi, T.5
-
6
-
-
0035178618
-
On the relative complexity of resolution refinements and cutting planes proof systems
-
A preliminary version appeared in Proc. 1999 IEEE Symposium on Foundations of Computer Science with the title Exponential separations between restricted resolution and cutting planes proof systems
-
M. L. BONET, J. L. ESTEBAN, N. GALESI & J. JOHANNSEN (2000a). On the relative complexity of resolution refinements and cutting planes proof systems. SIAM J. Comput. 30, 1462-1484. A preliminary version appeared in Proc. 1999 IEEE Symposium on Foundations of Computer Science with the title Exponential separations between restricted resolution and cutting planes proof systems.
-
(2000)
SIAM J. Comput.
, vol.30
, pp. 1462-1484
-
-
Bonet, M.L.1
Esteban, J.L.2
Galesi, N.3
Johannsen, J.4
-
10
-
-
0001601465
-
The relative efficiency of propositional proof systems
-
S. COOK & R. RECKHOW (1979). The relative efficiency of propositional proof systems. J. Symbolic Logic 44, 36-50.
-
(1979)
J. Symbolic Logic
, vol.44
, pp. 36-50
-
-
Cook, S.1
Reckhow, R.2
-
12
-
-
0000076101
-
The intractability of resolution
-
A. HAKEN (1985). The intractability of resolution. Theoret. Comput, Sci 39, 297-308.
-
(1985)
Theoret. Comput, Sci
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
13
-
-
0001978209
-
1 and EF
-
1 and EF. Inform, and Comput. 140, 82-94. Preliminary version in D. Leivant (ed.), LCC '94, Lecture Notes in Comput. Sci. 960, Springer, 1995.
-
(1998)
Inform. and Comput.
, vol.140
, pp. 82-94
-
-
Krajíček, J.1
Pudlák, P.2
-
14
-
-
0001978209
-
-
Preliminary version, LCC '94, Springer
-
1 and EF. Inform, and Comput. 140, 82-94. Preliminary version in D. Leivant (ed.), LCC '94, Lecture Notes in Comput. Sci. 960, Springer, 1995.
-
(1995)
Lecture Notes in Comput. Sci.
, vol.960
-
-
Leivant, D.1
-
15
-
-
0021979768
-
Short proofs for tricky formulas
-
B. KRISHNAMURTHY (1985). Short proofs for tricky formulas. Acta Inform. 22, 253-275.
-
(1985)
Acta Inform.
, vol.22
, pp. 253-275
-
-
Krishnamurthy, B.1
-
17
-
-
0347510126
-
Improved resolution lower bounds for the weak pigeonhole functional principle
-
to appear
-
A. RAZBOROV (2002). Improved resolution lower bounds for the weak pigeonhole functional principle. Theoret. Comput. Sci., to appear.
-
(2002)
Theoret. Comput. Sci.
-
-
Razborov, A.1
-
18
-
-
0040752355
-
Short resolution proofs for a sequence of tricky formulas
-
G. STALMARK (1996). Short resolution proofs for a sequence of tricky formulas. Acta Inform. 33, 277-280.
-
(1996)
Acta Inform.
, vol.33
, pp. 277-280
-
-
Stalmark, G.1
|