2013
DOI: 10.1007/978-3-642-40994-3_26
|View full text |Cite
|
Sign up to set email alerts
|

The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem

Abstract: Abstract. In this paper, we introduce a new problem, called Top-k SAT, that consists in enumerating the Top-k models of a propositional formula. A Top-k model is defined as a model with less than k models preferred to it with respect to a preference relation. We show that Top-k SAT generalizes two well-known problems: the partial Max-SAT problem and the problem of computing minimal models. Moreover, we propose a general algorithm for Top-k SAT. Then, we give the first application of our declarative framework i… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
33
0

Year Published

2014
2014
2022
2022

Publication Types

Select...
5
4
1

Relationship

0
10

Authors

Journals

citations
Cited by 28 publications
(33 citation statements)
references
References 19 publications
0
33
0
Order By: Relevance
“…Constraint Programming has already been shown to be a promising approach for Data Mining through various tasks, such as itemset mining [40][41][42][43][44], skypattern mining [45] or decision tree construction [46].…”
Section: First Model Second Modelmentioning
confidence: 99%
“…Constraint Programming has already been shown to be a promising approach for Data Mining through various tasks, such as itemset mining [40][41][42][43][44], skypattern mining [45] or decision tree construction [46].…”
Section: First Model Second Modelmentioning
confidence: 99%
“…However, these methods require to fix the number of local patterns included in a pattern set, a strong limitation in practice, and tend to have scaling problems. Recent contributions also employ more specialized systems such as satisfiability solvers [9] and integer linear programming techniques [1,16]. These methods address particular problem settings whereas we propose a declarative and exhaustive method based on ILP returning the best solution according to an optimization criterion, and which is able to handle a wide variety of constraints and therefore various different pattern set mining tasks.…”
Section: Related Workmentioning
confidence: 99%
“…In reference [24], [25], [26] the Top-k queries have been introduced in a quantitative preference model setting, that is, where preference between tuples is expressed by a score function defined over the dataset. The Top-k dominating queries have been introduced in [27] as an extension of the skyline queries of [17] which were originally designed to return the most preferred tuples, without any user control on the size of the result.…”
Section: Related Workmentioning
confidence: 99%