Felip Manyà
7 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 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
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