research
∙
06/08/2015
On SAT Models Enumeration in Itemset Mining
Frequent itemset mining is an essential part of data analysis and data m...
share
research
∙
06/01/2014
On the measure of conflicts: A MUS-Decomposition Based Framework
Measuring inconsistency is viewed as an important issue related to handl...
research
∙
02/09/2014
Revisiting the Learned Clauses Database Reduction Strategies
In this paper, we revisit an important issue of CDCL-based SAT solvers, ...
research
∙
05/14/2013
A Mining-Based Compression Approach for Constraint Satisfaction Problems
In this paper, we propose an extension of our Mining for SAT framework t...
research
∙
05/02/2013
Extending Modern SAT Solvers for Enumerating All Models
In this paper, we address the problem of enumerating all models of a Boo...
research
∙
04/16/2013
