1. Extending forward checking;Bacchus,2000
2. Enhancing Davis Putman with extended binary clause reasoning;Bacchus,2002
3. On the forward checking algorithm;Bacchus,1995
4. Looking forward in constraint satisfaction algorithms;Bacchus,1999
5. Dynamic variable ordering in CSPs;Bacchus,1995