1. Biere, A., Heule, M., van Maaren, H.: Handbook of satisfiability. IOS press (2009)
2. Boudane, A., Jabbour, S., Sais, L., Salhi, Y.: Sat-based data mining. IJAIT, 1840002 (2018)
3. Chan, R., Yang, Q., Shen, Y.-D.: Mining high utility itemsets. In: ICDM, pp. 19–19 (2003)
4. Damon, P.: Like the PS4, Xbox One Being Built At a Loss (2013)
5. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM, pp. 394–397 (1962)