Joint work with Andrei Bulatov, Víctor Dalmau, and Benoît Larose. In 46th International Colloquium on Automata, Languages, and Programming (Icalp 2019) .
Konkrétně, core speciální stromy řešitelné v P mají konečnou šířku. Klíčová slova: problém splňování omezení, algebra polymorfismů, ab- sorbující podalgebra, konečná...