Generalized Satisfiability Problems via Operator Assignments.

Albert Atserias, Phokion G. Kolaitis, Simone Severini

Browse the full FCT paper archive.