Coll, Jordi; Li, Chu-Min; Manyà, Felip; Yangin, Elifnaz MaxSAT resolution for regular propositional logic. (English) Zbl 07766524 Int. J. Approx. Reasoning 162, Article ID 109010, 11 p. (2023). MSC: 68R07 03B50 68T20 68V15 PDFBibTeX XMLCite \textit{J. Coll} et al., Int. J. Approx. Reasoning 162, Article ID 109010, 11 p. (2023; Zbl 07766524) Full Text: DOI
Li, Chu-Min (ed.); Manyà, Felip (ed.) Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. (English) Zbl 1482.68030 Lecture Notes in Computer Science 12831. Cham: Springer (ISBN 978-3-030-80222-6/pbk; 978-3-030-80223-3/ebook). xi, 564 p. (2021). MSC: 68-06 68Q25 68R07 68T20 00B25 PDFBibTeX XMLCite \textit{C.-M. Li} (ed.) and \textit{F. Manyà} (ed.), Theory and applications of satisfiability testing -- SAT 2021. 24th international conference, Barcelona, Spain, July 5--9, 2021. Proceedings. Cham: Springer (2021; Zbl 1482.68030) Full Text: DOI
Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu Clause vivification by unit propagation in CDCL SAT solvers. (English) Zbl 1478.68325 Artif. Intell. 279, Article ID 103197, 23 p. (2020). MSC: 68T20 PDFBibTeX XMLCite \textit{C.-M. Li} et al., Artif. Intell. 279, Article ID 103197, 23 p. (2020; Zbl 1478.68325) Full Text: DOI arXiv
Li, Chu Min; Manyà, Felip; Soler, Joan Ramon A tableau calculus for non-clausal maximum satisfiability. (English) Zbl 1435.68372 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 58-73 (2019). MSC: 68V15 03B05 68R07 PDFBibTeX XMLCite \textit{C. M. Li} et al., Lect. Notes Comput. Sci. 11714, 58--73 (2019; Zbl 1435.68372) Full Text: DOI Link
Ansótegui, Carlos; Bonet, María Luisa; Levy, Jordi; Manyà, Felip Resolution procedures for multiple-valued optimization. (English) Zbl 1293.03010 Inf. Sci. 227, 43-59 (2013). MSC: 03B35 03B50 68T20 90C59 PDFBibTeX XMLCite \textit{C. Ansótegui} et al., Inf. Sci. 227, 43--59 (2013; Zbl 1293.03010) Full Text: DOI
Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent Optimizing with minimum satisfiability. (English) Zbl 1251.68209 Artif. Intell. 190, 32-44 (2012). MSC: 68T20 90C27 90C59 PDFBibTeX XMLCite \textit{C. M. Li} et al., Artif. Intell. 190, 32--44 (2012; Zbl 1251.68209) Full Text: DOI
Bonet, María Luisa; Levy, Jordi; Manyà, Felip Resolution for Max-SAT. (English) Zbl 1168.68541 Artif. Intell. 171, No. 8-9, 606-618 (2007). MSC: 68T15 68Q25 68T20 PDFBibTeX XMLCite \textit{M. L. Bonet} et al., Artif. Intell. 171, No. 8--9, 606--618 (2007; Zbl 1168.68541) Full Text: DOI
Ansótegui, Carlos; Larrubia, Jose; Li, Chu-Min; Manyà, Felip Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. (English) Zbl 1124.68102 Ann. Math. Artif. Intell. 49, No. 1-4, 191-205 (2007). MSC: 68T20 03B50 PDFBibTeX XMLCite \textit{C. Ansótegui} et al., Ann. Math. Artif. Intell. 49, No. 1--4, 191--205 (2007; Zbl 1124.68102) Full Text: DOI
Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla Regular-SAT: A many-valued approach to solving combinatorial problems. (English) Zbl 1121.68104 Discrete Appl. Math. 155, No. 12, 1613-1626 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{R. Béjar} et al., Discrete Appl. Math. 155, No. 12, 1613--1626 (2007; Zbl 1121.68104) Full Text: DOI
Manyà, Felip The 2-SAT problem in signed CNF-formulas. (English) Zbl 0992.03014 Mult.-Valued Log. 5, No. 4, 307-325 (2000). MSC: 03B25 03B50 68Q25 03D15 03B35 PDFBibTeX XMLCite \textit{F. Manyà}, Mult.-Valued Log. 5, No. 4, 307--325 (2000; Zbl 0992.03014)
Beckert, Bernhard; Hähnle, Reiner; Manyà, Felip The SAT problem of signed CNF formulas. (English) Zbl 0966.03033 Basin, David (ed.) et al., Labelled deduction. Based on the 1st international workshop, LD’98, Freiburg, Germany, September 1998. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 17, 59-80 (2000). MSC: 03B70 68T30 68Q25 PDFBibTeX XMLCite \textit{B. Beckert} et al., Appl. Log. Ser. 17, 59--80 (2000; Zbl 0966.03033)