A3.C — The complexity of promise SAT on non-Boolean domains

ICALP 2020