Evgeny S. Skvortsov

15 papers A* 1A 2B 2C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
LogicLM: Robust Application of Large Language Models with Logic Programming for Data Analytics.
EDBT
Evgeny S. Skvortsov, Shayan Mirjafari, Ojaswa Garg, Yilin Xia, Shawn Bowers, Bertram Ludäscher
2025 — conf
Logica-TGD: Transforming Graph Databases Logically.
EDBT/ICDT Workshops
Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
2025 J jnl
Logica-TGD: Transforming Graph Databases Logically.
CoRR
Evgeny S. Skvortsov, Yilin Xia, Bertram Ludäscher, Shawn Bowers
2025 C conf
Natural Language to Logica: Towards Interactive and Explainable Data Analytics.
LOPSTR
Ojaswa Garg, Shayan Mirjafari, Yilin Xia, Shawn Bowers, Bertram Ludäscher, Evgeny S. Skvortsov
2024 — conf
From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering.
ICLP Workshops
Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
2024 B conf
Logica: Declarative Data Science for Mere Mortals.
EDBT
Evgeny S. Skvortsov, Yilin Xia, Bertram Ludäscher
2024 — conf
The Logica System: Elevating SQL Databases to Declarative Data Science Engines.
Datalog
Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
2015 — conf
Phase Transition for Local Search on Planted SAT.
MFCS (2)
Andrei A. Bulatov, Evgeny S. Skvortsov
2011 — conf
Chemical Signaling as a Useful Metaphor for Resource Management.
IWANN (1)
Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl
2010 J jnl
Synchronizing random automata.
Discret. Math. Theor. Comput. Sci.
Evgeny S. Skvortsov, Yulia Zaks
2009 A conf
A Theoretical Analysis of Search in GSAT.
SAT
Evgeny S. Skvortsov
2008 J jnl
Phase transition for Local Search on planted SAT
CoRR
Andrei A. Bulatov, Evgeny S. Skvortsov
2007 Misc conf
Pushing Random Walk Beyond Golden Ratio.
CSR
Ehsan Amiri, Evgeny S. Skvortsov
2006 A conf
Efficiency of Local Search.
SAT
Andrei A. Bulatov, Evgeny S. Skvortsov
2003 A* conf
Amalgams of Constraint Satisfaction Problems.
IJCAI
Andrei A. Bulatov, Evgeny S. Skvortsov