Evgeny S. Skvortsov

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Phase Transition

Propositional Satisfiability

Top Venues

Publications

Andrei A. Bulatov, Evgeny S. Skvortsov
Phase Transition for Local Search on Planted SAT. MFCS (2) (2015)
Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl
Chemical Signaling as a Useful Metaphor for Resource Management. IWANN (1) (2011)
Evgeny S. Skvortsov, Yulia Zaks
Synchronizing random automata. Discret. Math. Theor. Comput. Sci. 12 (4) (2010)
Evgeny S. Skvortsov
A Theoretical Analysis of Search in GSAT. SAT (2009)
Andrei A. Bulatov, Evgeny S. Skvortsov
Phase transition for Local Search on planted SAT CoRR (2008)
Ehsan Amiri, Evgeny S. Skvortsov
Pushing Random Walk Beyond Golden Ratio. CSR (2007)
Andrei A. Bulatov, Evgeny S. Skvortsov
Efficiency of Local Search. SAT (2006)
Andrei A. Bulatov, Evgeny S. Skvortsov
Amalgams of Constraint Satisfaction Problems. IJCAI (2003)