8 citations · 13 across the 3 of their papers we have counts for
4 papers
Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2
Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion…
Logica-TGD: Transforming Graph Databases Logically
Evgeny Skvortsov, Yilin Xia, Bertram Ludäscher +1
Graph transformations are a powerful computational model for manipulating complex networks, but handling temporal aspects and scalability remain significant challenges. We present…
Experimental Study of the Shortest Reset Word of Random Automata
Evgeny Skvortsov, Evgeny Tipikin
In this paper we describe an approach to finding the shortest reset word of a finite synchronizing automaton by using a SAT solver. We use this approach to perform an experimental…
Phase transition for Local Search on planted SAT
Andrei A. Bulatov, Evgeny S. Skvortsov
The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part…