The Complexity of Promise SAT on Non-Boolean Domains.

Alex Brandts, Marcin Wrochna, Stanislav Zivn

Browse the full ICALP paper archive.