Výsledky vyhledávání - "Theory of computation Logic Proof theory"
-
1
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Získat plný text
Konferenční příspěvek