research
∙
01/30/2023
Multi-Structural Games and Beyond
Multi-structural (MS) games are combinatorial games that capture the num...
share
research
∙
05/17/2021
Summing Up Smart Transitions
Some of the most significant high-level properties of currencies are the...
research
∙
10/27/2019
Complexity and Information in Invariant Inference
This paper addresses the complexity of SAT-based invariant inference, a ...
research
∙
07/22/2019
The k-Dimensional Weisfeiler-Leman Algorithm
In this note, we provide details of the k-dimensional Weisfeiler-Leman A...
research
∙
07/02/2019
New Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-Joins
The resilience of a Boolean query is the minimum number of tuples that n...
research
∙
10/24/2017
Bounded Quantifier Instantiation for Checking Inductive Invariants
We consider the problem of checking whether a proposed invariant ϕ expre...
research
∙
01/16/2013