Approximately Propagation Complete and Conflict Propagating Constraint Encodings.

Rdiger Ehlers, Francisco Palau Romero

Browse the full SAT paper archive.