Fahiem Bacchus

5 papers · 2015–2022 · 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 · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

IJCAI (4) AAAI (1)

Top co-authors

Matti Järvisalo (1) Pashootan Vaezipoor (1) Sanjit A. Seshia (1) Chris Maddison (1) Antti Hyttinen (1) Alex Poole (1) Gil Lederman (1) Jeremias Berg (1) Randy Hickey (1) Paul Saikko (1)

Research topics

Mathematics & Optimization (4) Optimization (4) Artificial Intelligence (1) Computer Science (1) Deep Learning (1) Machine Learning (1) Core AI (1) Core Methods (1) Foundations (1) Learning Types (1) Optimization & Theory (1) Techniques (1)

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 Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) IJCAI 2021 Learning Branching Heuristics for Propositional Model Counting AAAI 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