selected publications

• academic article

  • SAT-based models for overlapping community detection in networks.  Computing.  102:1275-1299. 2020
  • Breaking Symmetries in Association Rules.  Procedia Computer Science.  148:283-290. 2019
  • Quantifying conflicts in propositional logic through prime implicates.  International Journal of Approximate Reasoning.  89:27-40. 2017

• chapter

  • On Maximal Frequent Itemsets Mining with Constraints.  Lecture notes in computer science. 554-569. 2018

• conference paper

  • A Symbolic Approach to Computing Disjunctive Association Rules from Data.  . 2133-2141. 2023
  • Extracting Frequent Gradual Patterns Based on SAT.  . 136-143. 2023
  • A Declarative Framework for Maximal k-plex Enumeration Problems.  . 2022
  • Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.  . 437-444. 2018