Evgeny S. Skvortsov

According to our database, Evgeny S. Skvortsov authored at least 10 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

Logica: Declarative Data Science for Mere Mortals.

Evgeny S. Skvortsov, Yilin Xia, Bertram Ludäscher

Proceedings of the Proceedings 27th International Conference on Extending Database Technology, 2024

The Logica System: Elevating SQL Databases to Declarative Data Science Engines.

Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher

Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024

2015

Phase Transition for Local Search on Planted SAT.

Andrei A. Bulatov, Evgeny S. Skvortsov

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2011

Chemical Signaling as a Useful Metaphor for Resource Management.

Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl

Proceedings of the Advances in Computational Intelligence, 2011

2010

Synchronizing random automata.

Evgeny S. Skvortsov, Yulia Zaks

Discret. Math. Theor. Comput. Sci., 2010

2009

A Theoretical Analysis of Search in GSAT.

Evgeny S. Skvortsov

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2007

Pushing Random Walk Beyond Golden Ratio.

Ehsan Amiri, Evgeny S. Skvortsov

Proceedings of the Computer Science, 2007

2006

Efficiency of Local Search.

Andrei A. Bulatov, Evgeny S. Skvortsov

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2003

Amalgams of Constraint Satisfaction Problems.

Andrei A. Bulatov, Evgeny S. Skvortsov

Proceedings of the IJCAI-03, 2003