Generalized Satisfiability Problems via Operator Assignments | Publicación