| A Declarative Framework for Maximal k-plex Enumeration Problems. | 0 | 0.34 | 2022 |
| A Declarative Framework for Mining Top-k High Utility Itemsets. | 0 | 0.34 | 2021 |
| Mining Closed High Utility Itemsets based on Propositional Satisfiability | 1 | 0.35 | 2021 |
| A Constraint-based Approach for Enumerating Gradual Itemsets | 0 | 0.34 | 2021 |
| Handling conflicts in uncertain ontologies using deductive argumentation | 0 | 0.34 | 2017 |
| Mining Top- k motifs with a SAT-based framework | 1 | 0.35 | 2017 |
| Quantifying conflicts in propositional logic through prime implicates. | 4 | 0.37 | 2017 |
| What we can learn from conflicts in propositional satisfiability | 0 | 0.34 | 2016 |
| Summarizing Big Graphs By Means Of Pseudo-Boolean Constraints | 0 | 0.34 | 2016 |
| On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. | 0 | 0.34 | 2016 |
| On Inconsistency Measuring and Resolving. | 0 | 0.34 | 2016 |
| Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. | 3 | 0.42 | 2016 |
| On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing | 7 | 0.44 | 2015 |
| Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. | 7 | 0.52 | 2014 |
| Prime Implicates Based Inconsistency Characterization. | 8 | 0.59 | 2014 |
| On the Characterization of Inconsistency: A Prime Implicates Based Framework | 2 | 0.36 | 2014 |
| Extending modern SAT solvers for models enumeration | 7 | 0.53 | 2014 |
| Inconsistency measurement thanks to mus decomposition. | 17 | 0.81 | 2014 |
| Mining-based compression approach of propositional formulae | 3 | 0.41 | 2013 |
| Boolean satisfiability for sequence mining | 12 | 0.52 | 2013 |
| Measuring inconsistency through minimal proofs | 18 | 0.65 | 2013 |
| Symmetries in Itemset Mining. | 4 | 0.38 | 2012 |
| A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. | 20 | 0.79 | 2012 |
| Diversification and intensification in parallel SAT solving | 22 | 0.77 | 2010 |
| Control-based clause sharing in parallel SAT solving | 38 | 1.10 | 2009 |
| SAT graph-based representation: A new perspective | 1 | 0.38 | 2008 |
