Mining frequent episodes aims at recovering sequential patterns from tem...
The gradual patterns that model the complex co-variations of attributes ...
In this paper, we propose a constraint-based modeling approach for the
p...
Clause Learning is one of the most important components of a conflict dr...
In this paper, we revisit an important issue of CDCL-based SAT solvers,
...