Type-Safe Modular Hash-Consing, In ACM SIGPLAN Workshop on ML, 2006. ,
Zero-suppressed BDDs for set manipulation in combinatorial problems, DAC, pp.272-277, 1993. ,
Dancing links, 2000. ,
The Art of Computer Programming, Combinatorial Algorithms, Part, vol.4, issue.1, 2011. ,
Programming a combinatorial puzzle, 1958. ,