Josep Argelich

48 papers A* 1A 9Journal 15Unranked 23
YearRankTypeTitle / Venue / Authors
2024 — conf
Checking Robustness of Neural Network Models for the Classification of Malware.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, António Morgado, Jordi Planes
2024 J jnl
On the Complexity of the Bipartite Polarization Problem: From Neutral to Highly Polarized Discussions.
Algorithms
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2023 J jnl
On the Complexity of the Bipartite Polarization Problem: from Neutral to Highly Polarized Discussions.
CoRR
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2022 — conf
Approximate and Optimal Solutions for the Bipartite Polarization Problem.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2022 J jnl
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis.
Int. J. Comput. Intell. Syst.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes
2022 — conf
Combining Support and Attack Interactions for Argumentation Based Discussion Analysis.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar
2021 — conf
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes, Nil Torrent
2021 J jnl
Clause tableaux for maximum and minimum satisfiability.
Log. J. IGPL
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
2021 — conf
Discovering Dominant Users' Opinions in Reddit.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2020 J jnl
Measuring user relevance in online debates through an argumentative model.
Pattern Recognit. Lett.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2019 J jnl
A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions.
Soft Comput.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Joel Cemeli
2019 — conf
User Profile Analysis in Reddit Debates.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2018 — conf
A Probabilistic Author-Centered Model for Twitter Discussions.
IPMU (2)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Francesc Esteva, Lluís Godo
2018 — conf
An Argumentation Approach for Agreement Analysis in Reddit Debates.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez
2018 J jnl
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships.
Pattern Recognit. Lett.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2018 — conf
Clause Branching in MaxSAT and MinSAT.
CCIA
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
2017 — conf
A Distributed Approach for the Analysis of Discussions in Twitter.
SocInf@IJCAI
Teresa Alsinet, Josep Argelich, Ramón Béjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja
2017 — conf
Author-Centered Argumentation Analysis for Twitter Discussions.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar
2017 — conf
Exploiting Many-Valued Variables in MaxSAT.
ISMVL
Josep Argelich, Chu Min Li, Felip Manyà
2017 J jnl
Weighted argumentation for analysis of discussions in Twitter.
Int. J. Approx. Reason.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016 J jnl
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.
Ann. Math. Artif. Intell.
Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016 — conf
Support Analysis of Weighted Discussions in Twitter.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2014 — conf
Many-Valued MinSAT Solving.
ISMVL
Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu
2013 A conf
MinSAT versus MaxSAT for Optimization Problems.
CP
Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu
2012 A conf
A New Encoding from MinSAT into MaxSAT.
CP
Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich
2012 J jnl
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
J. Multiple Valued Log. Soft Comput.
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2011 A conf
Analyzing the Instances of the MaxSAT Evaluation.
SAT
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2011 J jnl
Boolean lexicographic optimization: algorithms & applications.
Ann. Math. Artif. Intell.
João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
2011 — conf
Experimenting with the Instances of the MaxSAT Evaluation.
CCIA
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2011 J jnl
Max-SAT formalisms with hard and soft constraints.
AI Commun.
Josep Argelich
2011 — conf
On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems.
CCIA
Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu
2010 — conf
Boolean Lexicographic Optimization.
RCRA@CPAIOR
João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
2010 — conf
New Insights into Encodings from MaxCSP into Partial MaxSAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2010 — conf
Solving Linux Upgradeability Problems Using Boolean Optimization
LoCoCo
Josep Argelich, Daniel Le Berre, Inês Lynce, João Marques-Silva, Pascal Rapicault
2009 J jnl
On Solving Boolean Multilevel Optimization Problems
CoRR
Josep Argelich, Inês Lynce, João Marques-Silva
2009 A* conf
On Solving Boolean Multilevel Optimization Problemse.
IJCAI
Josep Argelich, Inês Lynce, João Marques-Silva
2009 — conf
Regular Encodings from Max-CSP into Partial Max-SAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2009 A conf
Sequential Encodings from Max-CSP into Partial Max-SAT.
SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008 A conf
A Preprocessor for Max-SAT Solvers.
SAT
Josep Argelich, Chu Min Li, Felip Manyà
2008 — conf
CNF Instances from the Software Package Installation Problem.
RCRA
Josep Argelich, Inês Lynce
2008 — conf
Encoding Max-CSP into Partial Max-SAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008 A conf
Modelling Max-CSP as Partial Max-SAT.
SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008 J jnl
The First and Second Max-SAT Evaluations.
J. Satisf. Boolean Model. Comput.
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2007 A conf
Partial Max-SAT Solvers with Clause Learning.
SAT
Josep Argelich, Felip Manyà
2006 J jnl
Exact Max-SAT solvers for over-constrained problems.
J. Heuristics
Josep Argelich, Felip Manyà
2006 — conf
Towards Solving Many-Valued MaxSAT.
ISMVL
Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes
2005 A conf
Solving Over-Constrained Problems with SAT Technology.
SAT
Josep Argelich, Felip Manyà
2005 A conf
Solving Over-Constrained Problems with SAT.
CP
Josep Argelich, Felip Manyà