Clause vivification by unit propagation in CDCL SAT solvers
Li, Chu-Min, Xiao, Fan, Luo, Mao, Manyà, Felip, Lü, Zhipeng, Li, Yu
Published in Artificial intelligence (01.02.2020)
Published in Artificial intelligence (01.02.2020)
Get full text
Journal Article
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks
Preto, Sandro, Manya, Felip, Finger, Marcelo
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Get full text
Conference Proceeding
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability
Preto, Sandro, Manya, Felip, Finger, Marcelo
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Get full text
Conference Proceeding
MaxSAT resolution for regular propositional logic
Coll, Jordi, Li, Chu-Min, Manyà, Felip, Yangin, Elifnaz
Published in International journal of approximate reasoning (01.11.2023)
Published in International journal of approximate reasoning (01.11.2023)
Get full text
Journal Article
Negative Learning Ant Colony Optimization for MaxSAT
Nurcahyadi, Teddy, Blum, Christian, Manyà, Felip
Published in International journal of computational intelligence systems (29.08.2022)
Published in International journal of computational intelligence systems (29.08.2022)
Get full text
Journal Article
New complexity results for Łukasiewicz logic
Bofill, Miquel, Manyà, Felip, Vidal, Amanda, Villaret, Mateu
Published in Soft computing (Berlin, Germany) (01.04.2019)
Published in Soft computing (Berlin, Germany) (01.04.2019)
Get full text
Journal Article
A new upper bound for the maximum weight clique problem
Li, Chu-Min, Liu, Yanli, Jiang, Hua, Manyà, Felip, Li, Yu
Published in European journal of operational research (01.10.2018)
Published in European journal of operational research (01.10.2018)
Get full text
Journal Article
Incomplete MaxSAT approaches for combinatorial testing
Ansótegui, Carlos, Manyà, Felip, Ojeda, Jesus, Salvia, Josep M., Torres, Eduard
Published in Journal of heuristics (01.08.2022)
Published in Journal of heuristics (01.08.2022)
Get full text
Journal Article
A Tableau Calculus for Signed Maximum Satisfiability
Li, Shuolin, Coll, Jordi, Habet, Djamal, Li, Chu Min, Manya, Felip
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Get full text
Conference Proceeding
Clausal Forms in MaxSAT and MinSAT
Li, Chu Min, Manyà, Felip, Soler, Joan Ramon, Vidal, Amanda
Published in International journal of computational intelligence systems (11.11.2022)
Published in International journal of computational intelligence systems (11.11.2022)
Get full text
Journal Article
Parallel Bounded Search for the Maximum Clique Problem
Jiang, Hua, Bai, Ke, Liu, Hai-Jiao, Li, Chu-Min, Manyà, Felip, Fu, Zhang-Hua
Published in Journal of computer science and technology (01.09.2023)
Published in Journal of computer science and technology (01.09.2023)
Get full text
Journal Article
Solving the Team Composition Problem in a Classroom
Manyà, Felip, Negrete, Santiago, Roig, Carme, Soler, Joan Ramon
Published in Fundamenta informaticae (01.01.2020)
Published in Fundamenta informaticae (01.01.2020)
Get full text
Journal Article
A Tableau Calculus for Non-Clausal Regular MaxSAT
Coll, Jordi, Li, Chu Min, Manya, Felip, Yangin, Elifnaz
Published in 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) (28.05.2024)
Published in 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) (28.05.2024)
Get full text
Conference Proceeding
A new upper bound for the maximum weight clique problem
Li, Chu-Min, Liu, Yanli, Jiang, Hua, Manyà, Felip, Li, Yu
Published in European journal of operational research (20.03.2018)
Published in European journal of operational research (20.03.2018)
Get full text
Journal Article
Clause tableaux for maximum and minimum satisfiability
Argelich, Josep, Li, Chu Min, Manyà, Felip, Soler, Joan Ramon
Published in Logic journal of the IGPL (01.02.2021)
Published in Logic journal of the IGPL (01.02.2021)
Get full text
Journal Article
Boosting branch-and-bound MaxSAT solvers with clause learning
Li, Chu-Min, Xu, Zhenxing, Coll, Jordi, Manyà, Felip, Habet, Djamal, He, Kun
Published in Ai communications (01.01.2022)
Published in Ai communications (01.01.2022)
Get full text
Journal Article