Felip Manyà

7 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

Conferences

IJCAI (6) AAAI (1)

Top co-authors

Chu-Min Li (7) Djamal Habet (3) Jordi Coll (3) Shuolin Li (2) Kun He (2) Mao Luo (2) Zhipeng Lü (1) Jianrong Zhou (1) Fan Xiao (1) Joan Ramon Soler (1)

Keywords

combinatorial optimization (3) sat solver (2) branch and bound (1) multi-armed bandit (1) lower bound (1) local search (1) conflict-driven clause learning (1) maxsat solving (1) clause learning (1) maxsat solver (1) weighted partial maxsat (1) soft clause (1) variable ordering (1) bounding procedure (1) clause minimization (1) boolean constraint propagation (1) bounded variable elimination (1) core detection (1) stochastic optimization (1)

Papers

Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT AAAI 2025

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit IJCAI 2022

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers IJCAI 2017

A Clause Tableau Calculus for MaxSAT IJCAI 2016

An Exact Inference Scheme for MinSAT IJCAI 2015