2 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2022
SMB algebras I: On the variety of SMB algebras
Petar Djapić, Petar Marković, Ralph McKenzie +1
We begin the investigation of the variety of semilattices of Mal'cev blocks, which we call SMB algebras.
cs.CC2021★ 2 cited
QCSP on Reflexive Tournaments
Benoit Larose, Petar Markovic, Barnaby Martin +3
We give a complexity dichotomy for the Quantified Constraint Satisfaction Problem QCSP(H) when H is a reflexive tournament. It is well-known that reflexive tournaments can be split…
math.LO2007
CD(4) has bounded width
Catarina Carvalho, Víctor Dalmau, Petar Marković +1
We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they hav…