Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.
T opology I s I rrelevant ( I n a D ichotomy C onjecture for I nfinite D omain C onstraint S atisfaction P roblems)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
When Darwin met Ianus: dichotomies of expressivity
Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.