This paper introduces Figaro, an algorithm for computing the upper-trian...
Finding a homomorphism from some hypergraph 𝒬 (or some relational
struct...
Which amount of parallel resources is needed for updating a query result...
In 2015, it was shown that reachability for arbitrary directed graphs ca...
Dynamic Complexity studies the maintainability of queries with logical
f...
Given a graph whose nodes may be coloured red, the parity of the number ...
Recently it was shown that the transitive closure of a directed graph ca...