Approximately Propagation Complete and Conflict Propagating Constraint Encodings | Publicación