The following pages link to Josep Argelich (Q421448):
Displaying 13 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- A probabilistic author-centered model for twitter discussions (Q2107397) (← links)
- A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions (Q2317506) (← links)
- Weighted argumentation for analysis of discussions in Twitter (Q2409095) (← links)
- Exact Max-SAT solvers for over-constrained problems (Q2506236) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- (Q3604010) (← links)
- Sequential Encodings from Max-CSP into Partial Max-SAT (Q3637165) (← links)
- (Q4583677) (← links)
- Clause tableaux for maximum and minimum satisfiability (Q5018764) (← links)
- Theory and Applications of Satisfiability Testing (Q5713704) (← links)