@inproceedings{Atserias2004ConstraintPA,
title={Constraint Propagation as a Proof System},
author={Albert Atserias and Phokion G. Kolaitis and Moshe Y. Vardi},
booktitle={CP},
year={2004}
}

Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalization lifts, in a uniform way, the concept of refutation from Boolean satisfiability problems to general constraint-satisfaction problems. On the one hand, this enables us to study and characterize basic concepts, such as refutation width, using tools from finite-model theory. On the other hand, this enables us to introduce new… CONTINUE READING