Edit Profile (opens in new tab) Dantsin, Evgeny Co-Author Distance Author ID: dantsin.evgeny Published as: Dantsin, Evgeny; Dantsin, E. Ya.; Dantsin, Evgenyi; Dantsin, E. more...less Homepage: https://www.roosevelt.edu/academics/faculty/profile/edantsin External Links: MGP Documents Indexed: 37 Publications since 1973 4 Contributions as Editor Co-Authors: 46 Co-Authors with 29 Joint Publications 1,801 Co-Co-Authors all top 5 Co-Authors 12 single-authored 13 Wolpert, Alexander 9 Hirsch, Edward A. 7 Orevkov, V. P. 3 Kreinovich, Vladik Yakovlevich 3 Matiyasevich, Yuriĭ Vladimirovich 3 Vsemirnov, Maxim 2 Davydov, G. V. 2 Goerdt, Andreas 2 Grigor’ev, Dmitriĭ Yur’evich 2 Konev, B. Yu. 2 Lifschitz, Vladimir 2 Mints, Grigoriĭ Efroimovich 2 Schöning, Uwe 2 Slisenko, A. O. 2 Voronkov, Andrei 1 Artemov, Sergei 1 Beklemishev, Lev D. 1 Borkin, L. Ya. 1 Chernov, V. P. 1 Gavrilova, T. A. 1 Gavrilovich, Mikhaĭl R. 1 Girsh, È. A. 1 Ibragimov, Il’dar Abdullovich 1 Ivanov, Aleksandr Aleksandrovich 1 Ivanov, Sergei Vladimirovich 1 Kalmens, E. V. 1 Kannan, Ravindran 1 Karavaev, Eh. F. 1 Kleinberg, Jon Michael 1 Konev, Boris 1 Kossovsky, N. K. 1 Koubenski, D. A. 1 Lodkin, A. A. 1 Margenstern, Maurice 1 Novikov, B. A. 1 Papadimitriou, Christos Harilaos 1 Pliuškevičius, Regimantas 1 Raghavan, Prabhakar 1 Semënov, Alekseĭ L’vovich 1 Shen’, A. Kh. 1 Slissenko, A. O. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Vershik, Anatoliĭ Moiseevich 1 Voinov, A. V. 1 Xiang, Gang 1 Zaslavskii, Igor Dmitrievich all top 5 Serials 5 Journal of Mathematical Sciences (New York) 3 Russian Mathematical Surveys 3 Journal of Soviet Mathematics 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova 1 Soviet Mathematics. Doklady 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 International Journal of Foundations of Computer Science 1 Journal of Computer and Systems Sciences International 1 Voprosy Kibernetiki (Moskva) 1 Reliable Computing 1 Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics all top 5 Fields 29 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Statistics (62-XX) 1 Combinatorics (05-XX) 1 Functions of a complex variable (30-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 125 times in 97 Documents Cited by ▼ Year ▼ A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search. Zbl 1061.68071 Dantsin, Evgeny; Goerdt, Andreas; Hirsch, Edward A.; Kannan, Ravi; Kleinberg, Jon; Papadimitriou, Christos; Raghavan, Prabhakar; Schöning, Uwe 45 2002 MAX SAT approximation beyond the limits of polynomial-time approximation. Zbl 0990.03006 Dantsin, Evgeny; Gavrilovich, Michael; Hirsch, Edward A.; Konev, Boris 11 2002 Algorithms for Sat and upper bounds on their complexity. Zbl 1074.68577 Vsemirnov, M. A.; Hirsch, E. A.; Dantsin, E. Ya.; Ivanov, S. V. 9 2001 MAX-SAT for formulas with constant clause density can be solved faster than in \(\mathcal{O}(2^n)\) time. Zbl 1187.68258 Dantsin, Evgeny; Wolpert, Alexander 8 2006 Algorithms for SAT based on search in Hamming balls. Zbl 1122.68590 Dantsin, Evgeny; Hirsch, Edward A.; Wolpert, Alexander 8 2004 Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms. Zbl 1183.68305 Dantsin, Evgeny; Hirsch, Edward A.; Wolpert, Alexander 6 2006 An improved upper bound for SAT. Zbl 1128.68460 Dantsin, Evgeny; Wolpert, Alexander 5 2005 Two systems for proving tautologies, based on the split method. Zbl 0509.03004 Dantsin, E. Ya. 4 1983 Deterministic algorithms for \(k\)-SAT based on covering codes and local search. Zbl 0973.68253 Dantsin, Evgeny; Goerdt, Andreas; Hirsch, Edward A.; Schöning, Uwe 4 2000 Two systems of proof of tautology based on the splitting method. Zbl 0476.03020 Dantsin, E. Ya. 4 1981 A robust DNA computation model that captures PSPACE. Zbl 1101.68575 Dantsin, Evgeny; Wolpert, Alexander 3 2003 Derandomization of Schuler’s algorithm for SAT. Zbl 1122.68591 Dantsin, Evgeny; Wolpert, Alexander 3 2005 Population variance under interval uncertainty: a new algorithm. Zbl 1098.65006 Dantsin, Evgeny; Kreinovich, Vladik; Wolpert, Alexander; Xiang, Gang 3 2006 Algorithmics of the satisfiability problem. Zbl 0637.68107 Dantsin, E. Ya. 2 1987 A nondeterministic polynomial-time unification algorithm for bags, sets and trees. Zbl 0942.68023 Dantsin, Evgenyi; Voronkov, Andrei 2 1999 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. 2 2001 On moderately exponential time for SAT. Zbl 1306.68043 Dantsin, Evgeny; Wolpert, Alexander 2 2010 A faster clause-shortening algorithm for SAT with no restriction on clause length. Zbl 1116.68115 Dantsin, Evgeny; Wolpert, Alexander 1 2006 Studies in constructive mathematics and mathematical logic. Part IX. Zbl 0924.00002 1 1997 Randomized proofs in arithmetic. Zbl 0934.03075 Dantsin, E. Ya. 1 1995 Satisfiability certificates verifiable in subexponential time. Zbl 1331.68101 Dantsin, Evgeny; Hirsch, Edward A. 1 2011 Satisfiability certificates verifiable in subexponential time. Zbl 1331.68101 Dantsin, Evgeny; Hirsch, Edward A. 1 2011 On moderately exponential time for SAT. Zbl 1306.68043 Dantsin, Evgeny; Wolpert, Alexander 2 2010 MAX-SAT for formulas with constant clause density can be solved faster than in \(\mathcal{O}(2^n)\) time. Zbl 1187.68258 Dantsin, Evgeny; Wolpert, Alexander 8 2006 Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms. Zbl 1183.68305 Dantsin, Evgeny; Hirsch, Edward A.; Wolpert, Alexander 6 2006 Population variance under interval uncertainty: a new algorithm. Zbl 1098.65006 Dantsin, Evgeny; Kreinovich, Vladik; Wolpert, Alexander; Xiang, Gang 3 2006 A faster clause-shortening algorithm for SAT with no restriction on clause length. Zbl 1116.68115 Dantsin, Evgeny; Wolpert, Alexander 1 2006 An improved upper bound for SAT. Zbl 1128.68460 Dantsin, Evgeny; Wolpert, Alexander 5 2005 Derandomization of Schuler’s algorithm for SAT. Zbl 1122.68591 Dantsin, Evgeny; Wolpert, Alexander 3 2005 Algorithms for SAT based on search in Hamming balls. Zbl 1122.68590 Dantsin, Evgeny; Hirsch, Edward A.; Wolpert, Alexander 8 2004 A robust DNA computation model that captures PSPACE. Zbl 1101.68575 Dantsin, Evgeny; Wolpert, Alexander 3 2003 A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search. Zbl 1061.68071 Dantsin, Evgeny; Goerdt, Andreas; Hirsch, Edward A.; Kannan, Ravi; Kleinberg, Jon; Papadimitriou, Christos; Raghavan, Prabhakar; Schöning, Uwe 45 2002 MAX SAT approximation beyond the limits of polynomial-time approximation. Zbl 0990.03006 Dantsin, Evgeny; Gavrilovich, Michael; Hirsch, Edward A.; Konev, Boris 11 2002 Algorithms for Sat and upper bounds on their complexity. Zbl 1074.68577 Vsemirnov, M. A.; Hirsch, E. A.; Dantsin, E. Ya.; Ivanov, S. V. 9 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. 2 2001 Deterministic algorithms for \(k\)-SAT based on covering codes and local search. Zbl 0973.68253 Dantsin, Evgeny; Goerdt, Andreas; Hirsch, Edward A.; Schöning, Uwe 4 2000 A nondeterministic polynomial-time unification algorithm for bags, sets and trees. Zbl 0942.68023 Dantsin, Evgenyi; Voronkov, Andrei 2 1999 Studies in constructive mathematics and mathematical logic. Part IX. Zbl 0924.00002 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. 2 1987 Two systems for proving tautologies, based on the split method. Zbl 0509.03004 Dantsin, E. Ya. 4 1983 Two systems of proof of tautology based on the splitting method. Zbl 0476.03020 Dantsin, E. Ya. 4 1981 all cited Publications top 5 cited Publications all top 5 Cited by 165 Authors 6 Hirsch, Edward A. 6 Seto, Kazuhisa 5 Paschos, Vangelis Th. 5 Tamaki, Suguru 4 Calabro, Chris 4 Dantsin, Evgeny 4 Impagliazzo, Russell 4 Paturi, Ramamohan 4 Teruyama, Junichi 3 Escoffier, Bruno 3 Golovnev, Alexander 3 Kulikov, Alexander S. 3 Nagao, Atsuki 3 Rodríguez-Patón, Alfonso 3 Shen, Haiou 3 Tourniaire, Emeric 3 Zhang, Hantao 2 Brüggemann, Tobias 2 Fomin, Fedor V. 2 Fürer, Martin 2 Grandoni, Fabrizio 2 Iwama, Kazuo 2 Jonsson, Peter 2 Kern, Walter 2 Miles, Eric 2 Niedermeier, Rolf 2 Nikolenko, Sergey I. 2 Păun, Andrei 2 Porschen, Stefan 2 Rossmanith, Peter 2 Sakai, Takayuki 2 Sosík, Petr 2 Speckenmeyer, Ewald 2 Szeider, Stefan 2 Viola, Emanuele 2 Vsemirnov, Maxim 1 Abboud, Amir 1 Albrecht, Andreas A. 1 Beame, Paul W. 1 Beigel, Richard 1 Bliznets, Ivan A. 1 Bodlaender, Hans L. 1 Bolotin, Arkady 1 Bonacina, Ilario 1 Branković, Ljiljana 1 Bro Miltersen, Peter 1 Bykova, Valentina Vladimirovna 1 Ceberio, Martine 1 Chapdelaine, Philippe 1 Chen, Jian-er 1 Chen, Ruiwen 1 Chernov, V. P. 1 Chu, Huairui 1 Cieliebak, Mark 1 Coja-Oghlan, Amin 1 Creignou, Nadia 1 Culberson, Joseph C. 1 Cygan, Marek 1 Dahllöf, Vilhelm 1 Davydov, G. V. 1 Desrosiers, Christian 1 Duan, Qianheng 1 Dunjko, Vedran 1 Fagnot, Isabelle 1 Fedin, Sergey S. 1 Fei, Yangyang 1 Fernau, Henning 1 Fournier, Nicolas G. 1 Galinier, Philippe 1 Gaspers, Serge 1 Gavrilovich, Mikhaĭl R. 1 Ge, Yimin 1 Ghosh, Subhas Kumar 1 Gramm, Jens 1 Grigor’ev, Dmitriĭ Yur’evich 1 Grohe, Martin 1 Hall, Alexander 1 Hanatani, Youichi 1 Haqshenas, A. 1 Hertz, Alain 1 Hetterich, Samuel 1 Hitchcock, John M. 1 Horiyama, Takashi 1 Jacob, Riko 1 Jahanjou, Hamid 1 Jahanjou, Hamidreza 1 Järvisalo, Matti 1 Johannsen, Daniel 1 Junttila, Tommi A. 1 Kabanets, Valentine 1 Kanj, Iyad A. 1 Karavaev, Eh. F. 1 Kasiviswanathan, Shiva Prasad 1 Kojevnikov, Arist 1 Konev, B. Yu. 1 Konev, Boris 1 Kossovsky, N. K. 1 Kowalik, Łukasz 1 Kozhevnikov, A. A. 1 Kratsch, Dieter ...and 65 more Authors all top 5 Cited in 38 Serials 14 Theoretical Computer Science 8 Discrete Applied Mathematics 5 Algorithmica 5 Journal of Mathematical Sciences (New York) 4 Annals of Mathematics and Artificial Intelligence 3 Information Processing Letters 3 Journal of Discrete Algorithms 3 Mathematics in Computer Science 2 Journal of Computer and System Sciences 1 Artificial Intelligence 1 International Journal of General Systems 1 Journal of Mathematical Physics 1 Problems of Information Transmission 1 Russian Mathematical Surveys 1 Fuzzy Sets and Systems 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Annals of Pure and Applied Logic 1 Optimization 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Annals of Operations Research 1 International Journal of Foundations of Computer Science 1 Discrete Mathematics and Applications 1 Computational Complexity 1 Reliable Computing 1 Journal of Heuristics 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 RAIRO. Theoretical Informatics and Applications 1 RAIRO. Operations Research 1 Quantum Information Processing 1 4OR 1 Foundations of Physics 1 Discrete Optimization 1 Journal of Membrane Computing 1 Prikladnaya Diskretnaya Matematika 1 Matematicheskie Voprosy Kriptografii all top 5 Cited in 16 Fields 85 Computer science (68-XX) 12 Combinatorics (05-XX) 10 Operations research, mathematical programming (90-XX) 7 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 4 Quantum theory (81-XX) 3 Statistics (62-XX) 3 Numerical analysis (65-XX) 2 History and biography (01-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year