Towards a compact SAT-based encoding of itemset mining tasks

DOI10.1007/978-3-030-78230-6_11OpenAlexW3167433919MaRDI QIDQ2117214

Nadjet Kamel, Ikram Nekkache, Saïd Jabbour, Lakhdar Saïs

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78230-6_11

zbMATH Keywords

data miningsatisfiabilityitemset mining

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• MiniSat

Cites Work

• MiningZinc: a declarative framework for constraint-based mining
• Itemset mining: a constraint programming perspective
• Some simplified NP-complete graph problems
• Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
• Theory and Applications of Satisfiability Testing

This page was built for publication: Towards a compact SAT-based encoding of itemset mining tasks