Manyà, Felip

18 publications

AAAI 2025 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2023 A New Variable Ordering for In-Processing Bounded Variable Elimination in SAT Solvers Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2022 BandMaxSAT: A Local Search MaxSAT Solver with Multi-Armed Bandit Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà

IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

AAAI 2018 A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manyà

IJCAI 2017 An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü

AAAI 2017 An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs Hua Jiang, Chu-Min Li, Felip Manyà

IJCAI 2016 A Clause Tableau Calculus for MaxSAT Chu Min Li, Felip Manyà, Joan Ramon Soler

IJCAI 2015 An Exact Inference Scheme for MinSAT Chu Min Li, Felip Manyà

AAAI 2012 The Automated Vacuum Waste Collection Optimization Problem Ramón Béjar, Cèsar Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal

IJCAI 2011 Minimum Satisfiability and Its Applications Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon

AAAI 2008 Measuring the Hardness of SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

AAAI 2007 Inference Rules for High-Order Consistency in Weighted CSP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

JAIR 2007 New Inference Rules for Max-SAT Chu Min Li, Felip Manyà, Jordi Planes

IJCAI 2007 The Logic Behind Weighted CSP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

AAAI 2006 Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT Chu Min Li, Felip Manyà, Jordi Planes

AAAI 2004 Modeling Choices in Quasigroup Completion: SAT vs. CSP Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà

AAAI 2000 Solving the Round Robin Problem Using Propositional Logic Ramón Béjar, Felip Manyà