Fahiem Bacchus
5 papers
· 2015–2022
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)