| Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. | 0 | 0.34 | 2021 |
| Discovering Dominant Users' Opinions in Reddit. | 0 | 0.34 | 2021 |
| Clause tableaux for maximum and minimum satisfiability | 0 | 0.34 | 2021 |
| Measuring user relevance in online debates through an argumentative model | 0 | 0.34 | 2020 |
| User Profile Analysis in Reddit Debates. | 0 | 0.34 | 2019 |
| A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions | 0 | 0.34 | 2019 |
| An Argumentation Approach for Agreement Analysis in Reddit Debates. | 0 | 0.34 | 2018 |
| Clause Branching in MaxSAT and MinSAT. | 0 | 0.34 | 2018 |
| An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. | 4 | 0.41 | 2018 |
| A Probabilistic Author-Centered Model for Twitter Discussions. | 0 | 0.34 | 2018 |
| Exploiting Many-Valued Variables in MaxSAT | 0 | 0.34 | 2017 |
| Author-Centered Argumentation Analysis for Twitter Discussions. | 0 | 0.34 | 2017 |
| A Distributed Approach for the Analysis of Discussions in Twitter. | 1 | 0.35 | 2017 |
| Weighted argumentation for analysis of discussions in Twitter. | 7 | 0.47 | 2017 |
| Support Analysis of Weighted Discussions in Twitter. | 1 | 0.36 | 2016 |
| On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. | 0 | 0.34 | 2016 |
| Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. | 2 | 0.39 | 2012 |
| A new encoding from MinSAT into MaxSAT | 9 | 0.50 | 2012 |
| Experimenting with the Instances of the MaxSAT Evaluation. | 2 | 0.38 | 2011 |
| Max-SAT formalisms with hard and soft constraints | 1 | 0.35 | 2011 |
| On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems. | 1 | 0.35 | 2011 |
| Boolean lexicographic optimization: algorithms & applications | 12 | 0.62 | 2011 |
| Analyzing the instances of the MaxSAT evaluation | 3 | 0.40 | 2011 |
| Boolean Lexicographic Optimization | 1 | 0.42 | 2010 |
| Solving Linux Upgradeability Problems Using Boolean Optimization | 24 | 0.98 | 2010 |
| Sequential Encodings from Max-CSP into Partial Max-SAT | 4 | 0.42 | 2009 |
| Regular Encodings from Max-CSP into Partial Max-SAT | 2 | 0.42 | 2009 |
| On solving Boolean multilevel optimization problems | 16 | 0.87 | 2009 |
| The First and Second Max-SAT Evaluations | 35 | 1.70 | 2008 |
| CNF Instances from the Software Package Installation Problem | 2 | 0.38 | 2008 |
| Encoding Max-CSP into Partial Max-SAT | 5 | 0.48 | 2008 |
| A preprocessor for Max-SAT solvers | 1 | 0.35 | 2008 |
| Modelling Max-CSP as partial Max-SAT | 6 | 0.48 | 2008 |
| Partial max-SAT solvers with clause learning | 19 | 1.15 | 2007 |
| Exact Max-SAT solvers for over-constrained problems | 24 | 1.00 | 2006 |
| Towards Solving Many-Valued MaxSAT | 1 | 0.37 | 2006 |
| Solving over-constrained problems with SAT technology | 6 | 0.83 | 2005 |
| Solving Over-Constrained Problems with SAT | 1 | 0.47 | 2005 |
