1. Audemard, G., Bordeaux, L, Hamadi, Y., Jabbour, S., Sais, L.: A generalized framework for conflict analysis. In: Eleventh International Conference on Theory and Applications of Satisfiability Testing (SAT’08), pp. 21–27 (2008)
2. Benhamou, B., Saïs, L., Siegel, P.: Two proof procedures for a cardinality based language in propositional calculus. In: STACS, pp. 71–82 (1994)
3. Bennaceur, H.: The satisfiability problem regarded as constraint satisfaction problem. In: Proceedings of the European Conference on Artificial Intelligence (ECAI’96), pp. 155–159 (1996)
4. Bessière, C., Regin, J.: Arc consistency for general constraint networks: preliminary results. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’97), pp. 398–404 (1997)
5. Bessière, C., Regin, J.: Refining the basic constraint propagation algorithm. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’01), pp. 309–315 (2001)