Fahiem Bacchus
5 papers · 2015–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Academic Marathon (7) π Renaissance Researcher (5) π Interdisciplinary Bridge π§ Keyword Pioneer
π
Cross-Pollinator
(13)
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
maximum satisfiability
(3)
implicit hitting set
(2)
sat solver
(2)
combinatorial optimization
(2)
algorithm optimization
(1)
integer programming
(1)
anytime algorithm
(1)
local search
(1)
large neighborhood search
(1)
model counting
(1)
neural network
(1)
branching heuristic
(1)
propositional model counting
(1)
reduced cost fixing
(1)
satisfying assignment
(1)
boolean satisfiability
(1)
constraint solving
(1)
heuristic search
(1)
Papers
Large Neighbourhood Search for Anytime MaxSAT Solving
IJCAI 2022
Learning Branching Heuristics for Propositional Model Counting
AAAI 2021
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
IJCAI 2021
Reduced Cost Fixing for Maximum Satisfiability
IJCAI 2018
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples
IJCAI 2015