Thierry Castell Hélène Fargier Propositional Satisfaction Problems and Clausal CSPs. 214-218 1998 ECAI db/conf/ecai/ecai98.html#CastellF98