Dantsin E., Goerdt A., Hirsch E. A., Schoening U. Deterministic algorithms for k-SAT based on covering codes and local search // Proceedings of the 27 International Colloquuium on Automata, Languages and Programming, ICALP'2000, vol. 1853 of LNCS, p. 236–247, Springer, July 2000. A journal version will appear in Theoretical Computer Science in 2002.
M. A. Vsemirnov, E. A. Hirsch, E. Ya. Dantsin, S. V. Ivanov, “Algorithms for SAT and upper bounds on their complexity”, Zap. Nauchn. Sem. POMI, 277 (2001), 14–46; J. Math. Sci. (N. Y.), 118:2 (2003), 4948–4962
E. Ya. Dantsin, “Probabilistic verification of proofs in calculuses”, Zap. Nauchn. Sem. POMI, 241 (1997), 97–116; J. Math. Sci. (New York), 98:4 (2000), 479–489
1995
3.
E. Ya. Dantsin, “Randomized proofs in arithmetic”, Zap. Nauchn. Sem. POMI, 220 (1995), 49–71; J. Math. Sci. (New York), 87:1 (1997), 3209–3220
1989
4.
E. Ya. Dantsin, V. Ya. Kreinovich, “Probabilistic inference in prediction systems”, Dokl. Akad. Nauk SSSR, 307:1 (1989), 17–21; Dokl. Math., 40:1 (1990), 8–12
1981
5.
E. Ya. Dantsin, “Two tautologihood proof systems based on the split method”, Zap. Nauchn. Sem. LOMI, 105 (1981), 24–44; J. Soviet Math., 22:3 (1983), 1293–1305
E. Ya. Dantsin, “On an approximative version of the notion of constructive analytic function”, Zap. Nauchn. Sem. LOMI, 60 (1976), 49–58; J. Soviet Math., 14:6 (1980), 1457–1463
E. Ya. Dantsin, “The increase of the complexity of functions at an application of the multiple recursion”, Zap. Nauchn. Sem. LOMI, 32 (1972), 12–17
2023
8.
S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Uspekhi Mat. Nauk, 78:3(471) (2023), 170–176; Russian Math. Surveys, 78:3 (2023), 555–561
2013
9.
M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176; Russian Math. Surveys, 68:4 (2013), 763–767
2001
10.
M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Uspekhi Mat. Nauk, 56:3(339) (2001), 181–184; Russian Math. Surveys, 56:3 (2001), 601–605
Contact us: