Bacchus, Fahiem

43 publications

IJCAI 2022 Large Neighbourhood Search for Anytime MaxSAT Solving Randy Hickey, Fahiem Bacchus

IJCAI 2021 Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) Jeremias Berg, Fahiem Bacchus, Alex Poole

AAAI 2021 Learning Branching Heuristics for Propositional Model Counting Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus

IJCAI 2018 Reduced Cost Fixing for Maximum Satisfiability Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

IJCAI 2015 SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples Joanna Drummond, Andrew Perrault, Fahiem Bacchus

AAAI 2014 Maximum Satisfiability Using Core-Guided MaxSAT Resolution Nina Narodytska, Fahiem Bacchus

AAAI 2014 Relaxation Search: A Simple Way of Managing Optional Clauses Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos

AAAI 2012 MAXSAT Heuristics for Cost Optimal Planning Lei Zhang, Fahiem Bacchus

IJCAI 2011 A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

AAAI 2010 Exploiting QBF Duality on a Circuit Representation Alexandra Goultiaeva, Fahiem Bacchus

IJCAI 2009 Exploiting Decomposition on Constraint Problems with High Tree-Width Matthew Kitching, Fahiem Bacchus

IJCAI 2009 Set Branching in Constraint Optimization Matthew Kitching, Fahiem Bacchus

JAIR 2009 Solving #SAT and Bayesian Inference with Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

AAAI 2008 Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder

IJCAI 2007 A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith

IJCAI 2007 Symmetric Component Caching Matthew Kitching, Fahiem Bacchus

AAAI 2007 Using Expectation Maximization to Find Likely Assignments for Solving CSP's Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith

AAAI 2007 Using More Reasoning to Improve #SAT Solving Jessica Davies, Fahiem Bacchus

AAAI 2005 Generalized NoGoods in CSPs George Katsirelos, Fahiem Bacchus

IJCAI 2005 Propagating Logical Combinations of Constraints Fahiem Bacchus, Toby Walsh

IJCAI 2003 Generalizing GraphPlan by Formulating Planning as a CSP Adriana Lopez, Fahiem Bacchus

JAIR 2003 The Power of Modeling - A Response to PDDL2.1 Fahiem Bacchus

UAI 2003 Value Elimination: Bayesian Interence via Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

AAAI 2002 Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus

IJCAI 2001 Planning with Resources and Concurrency: A Forward Chaining Approach Fahiem Bacchus, Michael Ady

UAI 2001 UCP-Networks: A Directed Graphical Representation of Conditional Utilities Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman

AAAI 1998 On the Conversion Between Non-Binary and Binary Constraint Satisfaction Problems Fahiem Bacchus, Peter van Beek

AAAI 1997 Structured Solution Methods for Non-Markovian Decision Processes Fahiem Bacchus, Craig Boutilier, Adam J. Grove

AAAI 1996 Planning for Temporally Extended Goals Fahiem Bacchus, Froduald Kabanza

AAAI 1996 Rewarding Behaviors Fahiem Bacchus, Craig Boutilier, Adam J. Grove

UAI 1995 Graphical Models for Preference and Utility Fahiem Bacchus, Adam J. Grove

IJCAI 1995 Reasoning About Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque

AAAI 1994 Forming Beliefs About a Changing World Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller

UAI 1994 Generating New Beliefs from Old Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller

UAI 1994 Using New Data to Refine a Bayesian Network Wai Lam, Fahiem Bacchus

IJCAI 1993 Statistical Foundations for Default Reasoning Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller

UAI 1993 Using Causal Information and Local Measures to Learn Bayesian Networks Wai Lam, Fahiem Bacchus

UAI 1993 Using First-Order Probability Logic for the Construction of Bayesian Networks Fahiem Bacchus

AAAI 1992 From Statistics to Beliefs Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern

AAAI 1992 The Expected Value of Hierarchical Problem-Solving Fahiem Bacchus, Qiang Yang

AAAI 1991 Default Reasoning from Statistics Fahiem Bacchus

IJCAI 1991 The Downward Refinement Property Fahiem Bacchus, Qiang Yang

IJCAI 1989 A Modest, but Semantically Well Founded, Inheritance Reasoner Fahiem Bacchus