1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2025
On the lattice of multi-sorted relational clones on a two-element set
Vojtěch David, Dmitriy Zhuk
We introduce a new approach to the description of multi-sorted clones (sets of -tuples of operations of the same arity, closed under coordinatewise composition and containing al…
cs.CC2024★ 1 cited
vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
Dmitriy Zhuk
The Quantified Constraint Satisfaction Problem is the problem of evaluating a sentence with both quantifiers, over relations from some constraint language, with conjunction as the…