publication venue for
- Top-k Learned Clauses for Modern SAT Solvers. 32. 2022
- A New Algorithm for Fuzzy Clustering Handling Incomplete Dataset. 23:1460012-1460012. 2014
- Mining Undominated Association Rules Through Interestingness Measures. 23:1460011-1460011. 2014
- Towards Faster Mining of Disjunction-Based Concise Representations of Frequent Patterns. 23:1450001-1450001. 2013