Generalized satisfiability problems via operator assignments | Publicación