A generic software framework for finite domain constraint programming - Ng, Kevin Ka Boon (2001)