The complexity of promise SAT on non-Boolean domains

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Brandts, Alex; Wrochna, Marcin; Živný, Stanislav

Journal title: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)

Journal number: 1

Journal publisher: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"

Published year: 2020

Published pages: 17:1--17:13

DOI identifier: 10.4230/lipics.icalp.2020.17