-
2
-
-
1842473640
-
Exponential bounds for DPLL below the satisfiability threshold
-
Achlioptas, D., Beame, P. and Molloy, M.: Exponential bounds for DPLL below the satisfiability threshold, in Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA'04, 2004, pp. 139-140.
-
(2004)
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA'04
, pp. 139-140
-
-
Achlioptas, D.1
Beame, P.2
Molloy, M.3
-
5
-
-
33750364127
-
Pseudorandom generators in propositional complexity
-
Alekhnovich, M., Ben-Sasson, E., Razborov, A. and Wigderson, A.: Pseudorandom generators in propositional complexity, in Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science, FOCS'00,
-
Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science, FOCS'00
-
-
Alekhnovich, M.1
Ben-Sasson, E.2
Razborov, A.3
Wigderson, A.4
-
6
-
-
33750343995
-
-
Journal version is to appear
-
Journal version is to appear in SIAM Journal on Computing, 2000.
-
(2000)
SIAM Journal on Computing
-
-
-
7
-
-
27644587531
-
Toward a model for backtracking and dynamic programming
-
Alekhnovich, M., Borodin, A., Buresh-Oppenheim, J., Impagliazzo, R., Magen, A. and Pitassi, T.: Toward a model for backtracking and dynamic programming, in Proceedings of the 20th Annual Conference on Computational Complexity, 2005, pp. 308-322.
-
(2005)
Proceedings of the 20th Annual Conference on Computational Complexity
, pp. 308-322
-
-
Alekhnovich, M.1
Borodin, A.2
Buresh-Oppenheim, J.3
Impagliazzo, R.4
Magen, A.5
Pitassi, T.6
-
9
-
-
0000802475
-
Short proofs are narrow - Resolution made simple
-
Ben-Sasson, E. and Wigderson, A.: Short proofs are narrow - resolution made simple, J. ACM 48(2) (2001), 149-169.
-
(2001)
J. ACM
, vol.48
, Issue.2
, pp. 149-169
-
-
Ben-Sasson, E.1
Wigderson, A.2
-
10
-
-
84919401135
-
A machine program for theorem-proving
-
Davis, M., Logemann, G. and Loveland, D.: A machine program for theorem-proving, Commun. ACM 5 (1962), 394-397.
-
(1962)
Commun. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
11
-
-
84881072062
-
A computing procedure for quantification theory
-
Davis, M. and Putnam, H.: A computing procedure for quantification theory, J. ACM 7 (1960), 201-215.
-
(1960)
J. ACM
, vol.7
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
12
-
-
0034140490
-
SAT local search algorithms: Worst-case study
-
Hirsch, E. A.: SAT local search algorithms: Worst-case study, J. Autom. Reason. 24(1/2) (2000), 127-143.
-
(2000)
J. Autom. Reason.
, vol.24
, Issue.1-2
, pp. 127-143
-
-
Hirsch, E.A.1
-
13
-
-
0002828161
-
Highlights of satisfiability research in the year 2000
-
Also reprinted IOS
-
Also reprinted in "Highlights of Satisfiability Research in the Year 2000", Volume 63 in Frontiers in Artificial Intelligence and Applications, IOS.
-
Frontiers in Artificial Intelligence and Applications
, vol.63
-
-
-
14
-
-
1842539610
-
Improved upper bounds for 3-SAT
-
Iwama, K. and Tamaki, S.: Improved upper bounds for 3-SAT, in Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA'04, 2004, pp. 328-328.
-
(2004)
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA'04
, pp. 328-328
-
-
Iwama, K.1
Tamaki, S.2
-
15
-
-
33750373036
-
Hard satisfiable formulas for DPLL-type algorithms
-
Nikolenko, S. I.: Hard satisfiable formulas for DPLL-type algorithms, Zap. Nauc. Semin. POMI 293 (2002), 139-148.
-
(2002)
Zap. Nauc. Semin. POMI
, vol.293
, pp. 139-148
-
-
Nikolenko, S.I.1
-
16
-
-
17144406038
-
-
English translation is to appear, N.Y., March
-
English translation is to appear in Journal of Mathematical Sciences: Consultants Bureau, N.Y., March 2005, Vol. 126, No. 3, pp. 1205-1209.
-
(2005)
Journal of Mathematical Sciences: Consultants Bureau
, vol.126
, Issue.3
, pp. 1205-1209
-
-
-
18
-
-
10344259154
-
The SAT 2002 competition
-
Simon, L., Le Berre, D. and Hirsch, E. A.: The SAT 2002 Competition, Ann. Math. Artif. Intell. 43 (2005), 307-342.
-
(2005)
Ann. Math. Artif. Intell.
, vol.43
, pp. 307-342
-
-
Simon, L.1
Le Berre, D.2
Hirsch, E.A.3
-
19
-
-
0000389605
-
On the complexity of derivation in the prepositional calculus
-
English translation of this volume; Consultants Bureau, N.Y., 1970, pp. 115-125
-
Tseitin, G. S.: On the complexity of derivation in the prepositional calculus, Zap. Nauc. Semin. LOMI 8 (1968), 234-259. English translation of this volume; Consultants Bureau, N.Y., 1970, pp. 115-125.
-
(1968)
Zap. Nauc. Semin. LOMI
, vol.8
, pp. 234-259
-
-
Tseitin, G.S.1
|