Amalgams of Constraint Satisfaction Problems. - Andrei A. Bulatov; Evgeny S. Skvortsov (IJCAI, 2003)

Efficiency of Local Search. - Andrei A. Bulatov; Evgeny S. Skvortsov (SAT, 2006)

Pushing Random Walk Beyond Golden Ratio. - Ehsan Amiri; Evgeny S. Skvortsov (CSR, 2007)

A Theoretical Analysis of Search in GSAT. - Evgeny S. Skvortsov (SAT, 2009)

Synchronizing random automata. - Evgeny S. Skvortsov; Yulia Zaks (Discret. Math. Theor. Comput. Sci., 2010)

Chemical Signaling as a Useful Metaphor for Resource Management. - Evgeny S. Skvortsov; Nima Kaviani; Verónica Dahl (IWANN (1), 2011)

Phase Transition for Local Search on Planted SAT. - Andrei A. Bulatov; Evgeny S. Skvortsov (MFCS (2), 2015)

The Logica System: Elevating SQL Databases to Declarative Data Science Engines. - Evgeny S. Skvortsov; Yilin Xia; Shawn Bowers; Bertram Ludäscher (Datalog, 2024)

Logica: Declarative Data Science for Mere Mortals. - Evgeny S. Skvortsov; Yilin Xia; Bertram Ludäscher (EDBT, 2024)

From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering. - Evgeny S. Skvortsov; Yilin Xia; Shawn Bowers; Bertram Ludäscher (ICLP Workshops, 2024)

LogicLM: Robust Application of Large Language Models with Logic Programming for Data Analytics. - Evgeny S. Skvortsov; Shayan Mirjafari; Ojaswa Garg; Yilin Xia; Shawn Bowers; Bertram Ludäscher (EDBT, 2025)

Logica-TGD: Transforming Graph Databases Logically. - Evgeny S. Skvortsov; Yilin Xia; Shawn Bowers; Bertram Ludäscher (EDBT/ICDT Workshops, 2025)