×

zbMATH — the first resource for mathematics

Dantsin, E. Ya.

Compute Distance To:
Author ID: dantsin.e-ya Recent zbMATH articles by "Dantsin, E. Ya."
Published as: Dantsin, E. Ya.; Dantsin, E.
Documents Indexed: 18 Publications since 1980, including 3 Books

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 19 times in 17 Documents Cited by Year
Algorithms for Sat and upper bounds on their complexity. Zbl 1074.68577
Vsemirnov, M. A.; Hirsch, E. A.; Dantsin, E. Ya.; Ivanov, S. V.
8
2001
Two systems of proof of tautology based on the splitting method. Zbl 0476.03020
Dantsin, E. Ya.
4
1981
Two systems for proving tautologies, based on the split method. Zbl 0509.03004
Dantsin, E. Ya.
3
1983
Studies in constructive mathematics and mathematical logic. Part IX. Zbl 0924.00002
Dantsin, E. Ya. (ed.); Orevkov, V. P. (ed.)
1
1997
Randomized proofs in arithmetic. Zbl 0934.03075
Dantsin, E. Ya.
1
1995
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
2001
Algorithmics of the satisfiability problem. Zbl 0637.68107
Dantsin, E. Ya.
1
1987
Algorithms for Sat and upper bounds on their complexity. Zbl 1074.68577
Vsemirnov, M. A.; Hirsch, E. A.; Dantsin, E. Ya.; Ivanov, S. V.
8
2001
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
2001
Studies in constructive mathematics and mathematical logic. Part IX. Zbl 0924.00002
Dantsin, E. Ya.; Orevkov, V. P.
1
1997
Randomized proofs in arithmetic. Zbl 0934.03075
Dantsin, E. Ya.
1
1995
Algorithmics of the satisfiability problem. Zbl 0637.68107
Dantsin, E. Ya.
1
1987
Two systems for proving tautologies, based on the split method. Zbl 0509.03004
Dantsin, E. Ya.
3
1983
Two systems of proof of tautology based on the splitting method. Zbl 0476.03020
Dantsin, E. Ya.
4
1981

Citations by Year