Fahiem Bacchus

University of Toronto

16 papers in the IJCAI proceedings

IJCAI 2022

Large Neighbourhood Search for Anytime MaxSAT Solving

with Randy Hickey

doi:10.24963/ijcai.2022/253

Details PDF

IJCAI 2021

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)

with Jeremias Berg, Alex Poole

doi:10.24963/ijcai.2021/643

Details PDF

IJCAI 2018

Reduced Cost Fixing for Maximum Satisfiability

with Antti Hyttinen, Matti Järvisalo, Paul Saikko

doi:10.24963/ijcai.2018/723

Details PDF

IJCAI 2015

SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples

with Joanna Drummond, Andrew Perrault

Details PDF

IJCAI 2011

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas

with Alexandra Goultiaeva, Allen Van Gelder

doi:10.5591/978-1-57735-516-8/IJCAI11-099

Details PDF

IJCAI 2009

Exploiting Decomposition on Constraint Problems with High Tree-Width

with Matthew Kitching

Details PDF

Set Branching in Constraint Optimization

with Matthew Kitching

Details PDF

IJCAI 2007

A Heuristic Search Approach to Planning with Temporally Extended Preferences

with Jorge A. Baier, Sheila A. McIlraith

Details PDF

Symmetric Component Caching

with Matthew Kitching

Details PDF

IJCAI 2005

Propagating Logical Combinations of Constraints

with Toby Walsh

Details PDF

IJCAI 2003

Generalizing GraphPlan by Formulating Planning as a CSP

with Adriana Lopez

Details PDF

IJCAI 2001

Planning with Resources and Concurrency: A Forward Chaining Approach

with Michael Ady

Details PDF

IJCAI 1995

Reasoning about Noisy Sensors in the Situation Calculus

with Joseph Y. Halpern, Hector J. Levesque

Details PDF

IJCAI 1993

Statistical Foundations for Default Reasoning

with Adam J. Grove, Joseph Y. Halpern, Daphne Koller

Details PDF

IJCAI 1991

The Downward Refinement Property

with Qiang Yang

Details PDF

IJCAI 1989

A Modest, but Semantically Well Founded, Inheritance Reasoner

Details PDF