-
3
-
-
19544385851
-
Probabilistic methods in graph theory
-
Chvátal, V. Probabilistic methods in graph theory. Ann. Oper. Res. 1 (1984), 171-182.
-
(1984)
Ann. Oper. Res.
, vol.1
, pp. 171-182
-
-
Chvátal, V.1
-
4
-
-
85059770931
-
The complexity of theorem-proving procedures
-
Shaker Heights, Ohio, May 3-7 ACM, New York
-
Cook, S. A. The complexity of theorem-proving procedures. In Proceedings of the 3rd Annual Symposium on the Theory of Computing (Shaker Heights, Ohio, May 3-7). ACM, New York, 1971, pp. 151-158.
-
(1971)
Proceedings of the 3rd Annual Symposium on the Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
5
-
-
84881072062
-
A computing procedure for quantification theory
-
July
-
Davis, M., and Putnam, H. A computing procedure for quantification theory. J. ACM 7, 3 (July 1960), 201-215.
-
(1960)
J. ACM
, vol.7
, Issue.3
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
6
-
-
0040971912
-
On the complexity of regular resolution and the Davis-Putnam procedure
-
Galil, Z. On the complexity of regular resolution and the Davis-Putnam procedure. Theoret. Compul. Sci. 4 (1977), 23-46.
-
(1977)
Theoret. Compul. Sci.
, vol.4
, pp. 23-46
-
-
Galil, Z.1
-
7
-
-
0000076101
-
The intractability of resolution
-
Haken, A. The intractability of resolution. Theoret. Comput. Sci. 39 (1985), 297-308.
-
(1985)
Theoret. Comput. Sci.
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
8
-
-
84963056434
-
On representatives of subsets
-
Hall, P. On representatives of subsets. J. London Math. Soc. 10 (1935), 26-30.
-
(1935)
J. London Math. Soc.
, vol.10
, pp. 26-30
-
-
Hall, P.1
-
9
-
-
0012588491
-
-
Springer- Verlag, Berlin, Heidelberg, New York
-
Hammer (Ivanescu), P. L., and Rudeanu, S. Boolean Methods in Operations Research and Related Areas. Springer- Verlag, Berlin, Heidelberg, New York, 1968.
-
(1968)
Boolean Methods in Operations Research and Related Areas
-
-
Hammer, P.L.1
Rudeanu, S.2
-
10
-
-
33748802712
-
On systems of distinct representatives
-
Princeton University Press, Princeton, N.J.
-
Hoffman, A. J., and Kuhn, H. W. On systems of distinct representatives. In Linear Inequalities and Related Systems. Annals of Mathematical Studies, vol. 38. Princeton University Press, Princeton, N.J., 1956, pp. 199-206.
-
(1956)
Linear Inequalities and Related Systems. Annals of Mathematical Studies
, vol.38
, pp. 199-206
-
-
Hoffman, A.J.1
Kuhn, H.W.2
-
11
-
-
25744471187
-
Über das Aufiösungsproblem im logischen Klassenkalkul
-
Löwenheim, L. Über das Aufiösungsproblem im logischen Klassenkalkul. Sitzungsber. Berlin Math.Ges. 7(1908), 89-94.
-
(1908)
Sitzungsber. Berlin Math.Ges.
, vol.7
, pp. 89-94
-
-
Löwenheim, L.1
-
12
-
-
30244482795
-
Über die Auflösung von Gleichungen im logischen Gebietkalkul
-
Löwenheim, L. Über die Auflösung von Gleichungen im logischen Gebietkalkul. Math. Ann. 68 (1910), 169-207.
-
(1910)
Math. Ann.
, vol.68
, pp. 169-207
-
-
Löwenheim, L.1
-
13
-
-
34250940894
-
Über Transformationen im Gebietkalkul
-
Lowenheim, L. Über Transformationen im Gebietkalkul. Math. Ann. 73 (1913), 245-272.
-
(1913)
Math. Ann.
, vol.73
, pp. 245-272
-
-
Lowenheim, L.1
-
14
-
-
0002997993
-
A theorem on independence relations
-
Rado, R. A theorem on independence relations. Quart. J. Math. (Oxford) 13 (1942), 83-89.
-
(1942)
Quart. J. Math. (Oxford)
, vol.13
, pp. 83-89
-
-
Rado, R.1
-
15
-
-
84918983692
-
A machine-oriented logic based on the resolution principle
-
Jan.
-
Robinson, J. A. A machine-oriented logic based on the resolution principle. J. ACM 12, 1 (Jan. 1965), 23-41.
-
(1965)
J. ACM
, vol.12
, Issue.1
, pp. 23-41
-
-
Robinson, J.A.1
-
16
-
-
0001340960
-
On the complexity of derivations in the prepositional calculus
-
Consultants Bureau, New York-London
-
Tseitin, G. S. On the complexity of derivations in the prepositional calculus. In Studies in Constructive Mathematics and Mathematical Logic, Part 2. Consultants Bureau, New York-London, 1968, pp. 115-125.
-
(1968)
Studies in Constructive Mathematics and Mathematical Logic, Part 2
, pp. 115-125
-
-
Tseitin, G.S.1
-
17
-
-
84911291704
-
Hard examples for resolution
-
Jan.
-
Urquhart, A. Hard examples for resolution. J. ACM 34, 1 (Jan. 1987), 209-219.
-
(1987)
J. ACM
, vol.34
, Issue.1
, pp. 209-219
-
-
Urquhart, A.1
-
18
-
-
84974082060
-
Some applications of a theorem of Rado
-
Welsh, D. J. A. Some applications of a theorem of Rado. Mathematika 15 (1968), 199-203.
-
(1968)
Mathematika
, vol.15
, pp. 199-203
-
-
Welsh, D.J.A.1
|