×
Author ID: dantsin.evgeny Recent zbMATH articles by "Dantsin, Evgeny"
Published as: Dantsin, Evgeny; Dantsin, E. Ya.; Dantsin, Evgenyi; Dantsin, E.
Homepage: https://www.roosevelt.edu/academics/faculty/profile/edantsin
External Links: MGP

Publications by Year

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 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

Citations by Year