Josep Argelich

MaRDI QIDQ421448zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A probabilistic author-centered model for twitter discussions	2022-12-01	Paper
Clause tableaux for maximum and minimum satisfiability Logic Journal of the IGPL	2021-12-22	Paper
A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions Soft Computing	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 International Journal of Approximate Reasoning	2017-10-11	Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes Annals of Mathematics and Artificial Intelligence	2017-01-27	Paper
Boolean lexicographic optimization: algorithms \& applications Annals of Mathematics and Artificial Intelligence	2012-05-23	Paper
Sequential Encodings from Max-CSP into Partial Max-SAT Lecture Notes in Computer Science	2009-07-07	Paper
The first and second Max-SAT evaluations	2009-02-24	Paper
Modelling Max-CSP as Partial Max-SAT Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
A Preprocessor for Max-SAT Solvers Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Exact Max-SAT solvers for over-constrained problems Journal of Heuristics	2006-09-28	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper

Research outcomes over time

This page was built for person: Josep Argelich