Evgeny Dantsin

发表

Evgeny Dantsin, Alexander Wolpert, 2002, COCOON.
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2004, SAT.
Evgeny Dantsin, Alexander Wolpert, 2020, SISAP.
Evgeny Dantsin, Andrei Voronkov, A. Voronkov, 1999, FoSSaCS.
Evgeny Dantsin, Alexander Wolpert, 2003, Int. J. Found. Comput. Sci..
Vladik Kreinovich, Evgeny Dantsin, Alexander Wolpert, 2005, SIGA.
Evgeny Dantsin, E. Dantsin, 1990, RCLP.
Evgeny Dantsin, Edward A. Hirsch, E. Dantsin, 2011, SAT.
Vladik Kreinovich, Evgeny Dantsin, Gang Xiang, 2006, Reliab. Comput..
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2005, SAT.
Georg Gottlob, Thomas Eiter, Evgeny Dantsin, 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.
Evgeny Dantsin, Edward A. Hirsch, Sergei Ivanov, 2003, Electron. Colloquium Comput. Complex..
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2010, SAT.
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert, 2004, STACS.
Evgeny Dantsin, Edward A. Hirsch, Uwe Schöning, 2000, ICALP.
Evgeny Dantsin, E. Dantsin, 1990, Conference on Computer Logic.
Jon M. Kleinberg, Christos H. Papadimitriou, Prabhakar Raghavan, 2002, Theor. Comput. Sci..
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2018, COCOON.
Evgeny Dantsin, Andrei Voronkov, E. Dantsin, 1998 .
Boris Konev, Evgeny Dantsin, Edward A. Hirsch, 2001, Ann. Pure Appl. Log..
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2013, CIAC.
Georg Gottlob, Thomas Eiter, Evgeny Dantsin, 2001, CSUR.
Evgeny Dantsin, Alexander Wolpert, A. Wolpert, 2005, J. Satisf. Boolean Model. Comput..
Evgeny Dantsin, Edward A. Hirsch, E. Dantsin, 2009, Handbook of Satisfiability.
Evgeny Dantsin, Edward A. Hirsch, 2000 .