Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon Clause tableaux for maximum and minimum satisfiability. (English) Zbl 1524.68426 Log. J. IGPL 29, No. 1, 7-27 (2021). MSC: 68V15 03B35 PDFBibTeX XMLCite \textit{J. Argelich} et al., Log. J. IGPL 29, No. 1, 7--27 (2021; Zbl 1524.68426) Full Text: DOI
Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Cemeli, Joel A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions. (English) Zbl 1418.91423 Soft Comput. 23, No. 7, 2147-2166 (2019). MSC: 91D30 68W15 PDFBibTeX XMLCite \textit{T. Alsinet} et al., Soft Comput. 23, No. 7, 2147--2166 (2019; Zbl 1418.91423) Full Text: DOI Link
Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi Weighted argumentation for analysis of discussions in Twitter. (English) Zbl 1422.91606 Int. J. Approx. Reasoning 85, 21-35 (2017). MSC: 91D30 68T05 PDFBibTeX XMLCite \textit{T. Alsinet} et al., Int. J. Approx. Reasoning 85, 21--35 (2017; Zbl 1422.91606) Full Text: DOI Link
Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. (English) Zbl 1401.68283 Ann. Math. Artif. Intell. 77, No. 1-2, 43-66 (2016). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{J. Argelich} et al., Ann. Math. Artif. Intell. 77, No. 1--2, 43--66 (2016; Zbl 1401.68283) Full Text: DOI Link
Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT. (English) Zbl 1394.68355 J. Mult.-Val. Log. Soft Comput. 19, No. 1-3, 3-23 (2012). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{J. Argelich} et al., J. Mult.-Val. Log. Soft Comput. 19, No. 1--3, 3--23 (2012; Zbl 1394.68355) Full Text: Link
Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês Boolean lexicographic optimization: algorithms & applications. (English) Zbl 1242.90199 Ann. Math. Artif. Intell. 62, No. 3-4, 317-343 (2011). MSC: 90C27 90C29 68T20 PDFBibTeX XMLCite \textit{J. Marques-Silva} et al., Ann. Math. Artif. Intell. 62, No. 3--4, 317--343 (2011; Zbl 1242.90199) Full Text: DOI Link
Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip Sequential encodings from Max-CSP into partial Max-SAT. (English) Zbl 1247.68243 Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 161-166 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Argelich} et al., Lect. Notes Comput. Sci. 5584, 161--166 (2009; Zbl 1247.68243) Full Text: DOI
Argelich, Josep; Li, Chu-Min; Manyà, Felip; Planes, Jordi The first and second Max-SAT evaluations. (English) Zbl 1159.68561 J. Satisf. Boolean Model. Comput. 4, No. 2-4, 251-278 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Argelich} et al., J. Satisf. Boolean Model. Comput. 4, No. 2--4, 251--278 (2008; Zbl 1159.68561)
Argelich, Josep; Li, Chu Min; Manyà, Felip A preprocessor for Max-SAT solvers. (English) Zbl 1138.68532 Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 15-20 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Argelich} et al., Lect. Notes Comput. Sci. 4996, 15--20 (2008; Zbl 1138.68532) Full Text: DOI
Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip Modelling Max-CSP as partial Max-SAT. (English) Zbl 1138.68531 Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 1-14 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Argelich} et al., Lect. Notes Comput. Sci. 4996, 1--14 (2008; Zbl 1138.68531) Full Text: DOI Link
Argelich, Josep; Manyà, Felip Exact Max-SAT solvers for over-constrained problems. (English) Zbl 1100.68107 J. Heuristics 12, No. 4-5, 375-392 (2006). MSC: 68T20 68P05 PDFBibTeX XMLCite \textit{J. Argelich} and \textit{F. Manyà}, J. Heuristics 12, No. 4--5, 375--392 (2006; Zbl 1100.68107) Full Text: DOI Link
Argelich, Josep; Manyà, Felip Solving over-constrained problems with SAT technology. (English) Zbl 1124.68430 Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 1-15 (2005). MSC: 68T20 68P05 PDFBibTeX XMLCite \textit{J. Argelich} and \textit{F. Manyà}, Lect. Notes Comput. Sci. 3569, 1--15 (2005; Zbl 1124.68430) Full Text: DOI