Felip Manyà
7 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
Top co-authors
Research topics
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