Implementing Efficient All Solutions SAT Solvers
Mining Association Rules between Sets of Items in Large Databases