Towards a compact SAT-based encoding of itemset mining tasks

DOI10.1007/978-3-030-78230-6_11MaRDI QIDQ2117214zbMATH OpenOpenAlexFDO

Authors Ikram Nekkache, Nadjet Kamel, Said Jabbour, Lakhdar Sais

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

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

Cites work

• Itemset mining: a constraint programming perspective
• MiningZinc: a declarative framework for constraint-based mining
• 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

Describes a project that uses

Uses Software

• MiniSat

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117214)