TY - RPRT TI - Generalized Satisfiability Problems via Operator Assignments AU - Albert Atserias AU - Phokion G. Kolaitis AU - Simone Severini PY - 2017 UR - https://arxiv.org/abs/1704.01736 ID - 1704.01736 ER -