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

ICALP 2020

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

Sep 23, 2020
|
25 views
Details
ICALP-A 2020 The complexity of promise SAT on non-Boolean domains Alex Brandts, Marcin Wrochna, Stanislav Živný

Comments
loading...