Solving Over-Constrained Problems with SAT. - Josep Argelich; Felip Manyà (CP, 2005)

Solving Over-Constrained Problems with SAT Technology. - Josep Argelich; Felip Manyà (SAT, 2005)

Towards Solving Many-Valued MaxSAT. - Josep Argelich; Xavier Domingo; Chu Min Li 001; Felip Manyà; Jordi Planes (ISMVL, 2006)

Exact Max-SAT solvers for over-constrained problems. - Josep Argelich; Felip Manyà (J. Heuristics, 2006)

Partial Max-SAT Solvers with Clause Learning. - Josep Argelich; Felip Manyà (SAT, 2007)

Encoding Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2008)

CNF Instances from the Software Package Installation Problem. - Josep Argelich; Inês Lynce (RCRA, 2008)

Modelling Max-CSP as Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (SAT, 2008)

A Preprocessor for Max-SAT Solvers. - Josep Argelich; Chu Min Li 001; Felip Manyà (SAT, 2008)

The First and Second Max-SAT Evaluations. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (J. Satisf. Boolean Model. Comput., 2008)

On Solving Boolean Multilevel Optimization Problemse. - Josep Argelich; Inês Lynce; João Marques-Silva 001 (IJCAI, 2009)

Regular Encodings from Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2009)

Sequential Encodings from Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (SAT, 2009)

On Solving Boolean Multilevel Optimization Problems - Josep Argelich; Inês Lynce; João Marques-Silva 001 (CoRR, 2009)

Boolean Lexicographic Optimization. - João Marques-Silva 001; Josep Argelich; Ana Graça; Inês Lynce (RCRA@CPAIOR, 2010)

New Insights into Encodings from MaxCSP into Partial MaxSAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2010)

Solving Linux Upgradeability Problems Using Boolean Optimization - Josep Argelich; Daniel Le Berre; Inês Lynce; João Marques-Silva 001; Pascal Rapicault (LoCoCo, 2010)

On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems. - Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu (CCIA, 2011)

Experimenting with the Instances of the MaxSAT Evaluation. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (CCIA, 2011)

Analyzing the Instances of the MaxSAT Evaluation. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (SAT, 2011)

Max-SAT formalisms with hard and soft constraints. - Josep Argelich (AI Commun., 2011)

Boolean lexicographic optimization: algorithms & applications. - João Marques-Silva 001; Josep Argelich; Ana Graça; Inês Lynce (Ann. Math. Artif. Intell., 2011)

A New Encoding from MinSAT into MaxSAT. - Zhu Zhu; Chu Min Li 001; Felip Manyà; Josep Argelich (CP, 2012)

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (J. Multiple Valued Log. Soft Comput., 2012)

MinSAT versus MaxSAT for Optimization Problems. - Josep Argelich; Chu Min Li 001; Felip Manyà; Zhu Zhu (CP, 2013)

Many-Valued MinSAT Solving. - Josep Argelich; Chu Min Li 001; Felip Manyà; Zhu Zhu (ISMVL, 2014)

Support Analysis of Weighted Discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (CCIA, 2016)

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. - Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Ann. Math. Artif. Intell., 2016)

Author-Centered Argumentation Analysis for Twitter Discussions. - Teresa Alsinet; Josep Argelich; Ramón Béjar (CCIA, 2017)

A Distributed Approach for the Analysis of Discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Jordi Planes; Joel Cemeli; Cristian Sanahuja (SocInf@IJCAI, 2017)

Exploiting Many-Valued Variables in MaxSAT. - Josep Argelich; Chu Min Li 001; Felip Manyà (ISMVL, 2017)

Weighted argumentation for analysis of discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Int. J. Approx. Reason., 2017)

An Argumentation Approach for Agreement Analysis in Reddit Debates. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (CCIA, 2018)

Clause Branching in MaxSAT and MinSAT. - Josep Argelich; Chu Min Li 001; Felip Manyà; Joan Ramon Soler (CCIA, 2018)

A Probabilistic Author-Centered Model for Twitter Discussions. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Francesc Esteva; Lluís Godo (IPMU (2), 2018)

An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Pattern Recognit. Lett., 2018)

User Profile Analysis in Reddit Debates. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (CCIA, 2019)

A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Joel Cemeli (Soft Comput., 2019)

Measuring user relevance in online debates through an argumentative model. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (Pattern Recognit. Lett., 2020)

Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Daniel Gibert; Jordi Planes; Nil Torrent (CCIA, 2021)

Discovering Dominant Users' Opinions in Reddit. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (CCIA, 2021)

Clause tableaux for maximum and minimum satisfiability. - Josep Argelich; Chu Min Li 001; Felip Manyà; Joan Ramon Soler (Log. J. IGPL, 2021)

Combining Support and Attack Interactions for Argumentation Based Discussion Analysis. - Teresa Alsinet; Josep Argelich; Ramón Béjar (CCIA, 2022)

Approximate and Optimal Solutions for the Bipartite Polarization Problem. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (CCIA, 2022)

Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Daniel Gibert; Jordi Planes (Int. J. Comput. Intell. Syst., 2022)

Checking Robustness of Neural Network Models for the Classification of Malware. - Teresa Alsinet; Josep Argelich; Ramón Béjar; António Morgado 001; Jordi Planes (CCIA, 2024)

On the Complexity of the Bipartite Polarization Problem: From Neutral to Highly Polarized Discussions. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez (Algorithms, 2024)