Assef Chmeiss Vincent Krawczyk Lakhdar Sais Light Integration of Path Consistency for Solving CSPs. 263-266 2007 conf/ictai/2007-1 ICTAI (1) http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.122 db/conf/ictai/ictai2007-1.html#ChmeissKS07