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
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…