Zobrazeno 1 - 10
of 152
pro vyhledávání: '"Sais, Lakhdar"'
In this paper, we propose a constraint-based modeling approach for the problem of discovering frequent gradual patterns in a numerical dataset. This SAT-based declarative approach offers an additional possibility to benefit from the recent progress i
Externí odkaz:
http://arxiv.org/abs/1903.08452
In the encoding of many real-world problems to propositional satisfiability, the cardinality constraint is a recurrent constraint that needs to be managed effectively. Several efficient encodings have been proposed while missing that such a constrain
Externí odkaz:
http://arxiv.org/abs/1804.00211
Publikováno v:
Imaging Science Journal; Dec2024, Vol. 72 Issue 8, p1169-1190, 22p
Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets. Our aim in this work is to define strategies for adapting SAT solver
Externí odkaz:
http://arxiv.org/abs/1506.02561
Publikováno v:
In Computers and Operations Research January 2021 125
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Measuring inconsistency is viewed as an important issue related to handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize
Externí odkaz:
http://arxiv.org/abs/1406.0155
In this paper, we revisit an important issue of CDCL-based SAT solvers, namely the learned clauses database management policies. Our motivation takes its source from a simple observation on the remarkable performances of both random and size-bounded
Externí odkaz:
http://arxiv.org/abs/1402.1956
In this paper, we propose an extension of our Mining for SAT framework to Constraint satisfaction Problem (CSP). We consider n-ary extensional constraints (table constraints). Our approach aims to reduce the size of the CSP by exploiting the structur
Externí odkaz:
http://arxiv.org/abs/1305.3321
In this paper, we address the problem of enumerating all models of a Boolean formula in conjunctive normal form (CNF). We propose an extension of CDCL-based SAT solvers to deal with this fundamental problem. Then, we provide an experimental evaluatio
Externí odkaz:
http://arxiv.org/abs/1305.0574