Atserias, A;
Kolaitis, PG;
Severini, S;
(2019)
Generalized satisfiability problems via operator assignments.
Journal of Computer and System Sciences
, 105
pp. 171-198.
10.1016/j.jcss.2019.05.003.
(In press).