Josep Argelich

Available identifiers

zbMath Open argelich.josepWikidataQ59661606 ScholiaQ59661606MaRDI QIDQ421448

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q4583677	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
https://portal.mardi4nfdi.de/entity/Q3604010	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Josep Argelich