SAT-Based Data Mining

Boudane, A; Jabbour, S; Sais, L; Salhi, Y

Sais, L (reprint author), Univ Artois, CRIL, Rue Jean Souvraz SP-18, F-62307 Lens, France.

INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2018; 27 (1):

Abstract

Several propositional satisfiability (SAT) based encodings have been proposed to deal with various data mining problems including itemset and sequence......

Full Text Link