Author's notes / Erratum for the paper “Approximately Propagation Complete and Conflict Propagating Constraint Encodings”
This page contains some additional information to the paper Approximately Propagation Complete and Conflict Propagating Constraint Encodings by Rüdiger Ehlers and Francisco Palau Romero.
Erratum
The caption of Algorithm 2 (on the 12th page of the paper) should be
Procedure to compute the unsatisfiable partial valuations for which at most 
variables do not have assigned values.
rather than
Procedure to compute the unsatisfiable partial valuations for which at least variables do not have a assigned values.