Propositional Satisfaction Problems and Clausal CSPs.

Thierry Castell, Hlne Fargier

Browse the full ECAI paper archive.