12 citations · 14 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Equations in oligomorphic clones and the Constraint Satisfaction Problem for -categorical structures
Libor Barto, Michael Kompatscher, Miroslav Olšák +2
There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of…
cs.CC2016★ 12 cited
A complexity dichotomy for poset constraint satisfaction
Michael Kompatscher, Trung Van Pham
In this paper we determine the complexity of a broad class of problems that extends the temporal constraint satisfaction problems. To be more precise we study the problems Poset-SA…