Josep Argelich

Available identifiers

Publication	Date of Publication	Type
A probabilistic author-centered model for twitter discussions	2022-12-01	Paper
Clause tableaux for maximum and minimum satisfiability	2021-12-22	Paper
A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions	2019-08-12	Paper
Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT	2018-09-03	Paper
Weighted argumentation for analysis of discussions in Twitter	2017-10-11	Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes	2017-01-27	Paper
Boolean lexicographic optimization: algorithms \& applications	2012-05-23	Paper
Sequential Encodings from Max-CSP into Partial Max-SAT	2009-07-07	Paper
The first and second Max-SAT evaluations	2009-02-24	Paper
Modelling Max-CSP as Partial Max-SAT	2008-05-27	Paper
A Preprocessor for Max-SAT Solvers	2008-05-27	Paper
Exact Max-SAT solvers for over-constrained problems	2006-09-28	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

This page was built for person: Josep Argelich