The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fahiem Bacchus" ( http://dblp.L3S.de/Authors/Fahiem_Bacchus )

URL (Homepage):  http://www.cs.toronto.edu/~fbacchus/  Author page on DBLP  Author page in RDF  Community of Fahiem Bacchus in ASPL-2

Publication years (Num. hits)
1988-1993 (17) 1994-1996 (16) 1997-2002 (16) 2003-2004 (15) 2005-2007 (15) 2008-2011 (16) 2012-2013 (16) 2014-2019 (15)
Publication types (Num. hits)
article(32) book(1) inproceedings(91) proceedings(2)
Venues (Conferences, Journals, ...)
CP(17) CoRR(16) IJCAI(14) SAT(14) AAAI(12) UAI(9) Artif. Intell.(7) Computational Intelligence(4) KR(4) AAAI/IAAI(3) ICAPS(3) AAAI/IAAI, Vol. 2(2) AIPS(2) ECAI(2) J. Artif. Intell. Res.(2) AAMAS(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 127 publication records. Showing 126 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Randy Hickey, Fahiem Bacchus Speeding Up Assumption-Based SAT. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Katalin Fazekas, Fahiem Bacchus, Armin Biere Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing for Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing in MaxSAT. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, George Katsirelos Finding a Collection of MUSes Incrementally. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Perrault, Joanna Drummond, Fahiem Bacchus Strategy-Proofness in the Stable Matching Problem with Couples. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Andrew Perrault, Joanna Drummond, Fahiem Bacchus Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, George Katsirelos Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joanna Drummond, Andrew Perrault, Fahiem Bacchus SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi Solving #SAT and Bayesian Inference with Backtracking Search. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos Relaxation Search: A Simple Way of Managing Optional Clauses. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Nina Narodytska, Fahiem Bacchus Maximum Satisfiability Using Core-Guided MaxSAT Resolution. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Fahiem Bacchus, Nina Narodytska Cores in Core Based MaxSat Algorithms: An Analysis. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wai Lam, Fahiem Bacchus Using New Data to Refine a Bayesian Network Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fahiem Bacchus Probability Distributions Over Possible Worlds Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fahiem Bacchus Lp : A Logic for Statistical Information Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman UCP-Networks: A Directed Graphical Representation of Conditional Utilities Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fahiem Bacchus Using First-Order Probability Logic for the Construction of Bayesian Networks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove Graphical Models for Preference and Utility Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller Generating New Beliefs From Old Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Wai Lam, Fahiem Bacchus Using Causal Information and Local Measures to Learn Bayesian Networks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alexandra Goultiaeva, Fahiem Bacchus Recovering and Utilizing Partial Duality in QBF. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Exploiting the Power of mip Solvers in maxsat. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Postponing Optimization to Speed Up MAXSAT Solving. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Erin Delisle, Fahiem Bacchus Solving Weighted CSPs by Successive Relaxations. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Tommi S. Jaakkola Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (2005) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi Value Elimination: Bayesian Inference via Backtracking Search Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Lei Zhang, Fahiem Bacchus MAXSAT Heuristics for Cost Optimal Planning. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexandra Goultiaeva, Fahiem Bacchus Off the Trail: Re-examining the CDCL Algorithm. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus The Power of Modeling - a Response to PDDL2.1 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1David Poole 0001, Fahiem Bacchus, Jacek Kisynski Towards Completely Lifted Search-based Probabilistic Inference Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert (eds.) Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 Search on Bibsonomy ICAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus Leveraging dominators for preprocessing QBF. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexandra Goultiaeva, Fahiem Bacchus Exploiting QBF Duality on a Circuit Representation. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Alexandra Goultiaeva, Fahiem Bacchus Exploiting Circuit Representations in QBF Solving. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Jeremy Cho, Fahiem Bacchus Using Learnt Clauses in maxsat. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith A heuristic search approach to planning with temporally extended preferences. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi Solving #SAT and Bayesian Inference with Backtracking Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus Beyond CNF: A Circuit-Based QBF Solver. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew Kitching, Fahiem Bacchus Set Branching in Constraint Optimization. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Matthew Kitching, Fahiem Bacchus Exploiting Decomposition on Constraint Problems with High Tree-Width. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder Clause Learning Can Effectively P-Simulate General Propositional Resolution. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Matthew Kitching, Fahiem Bacchus Exploiting Decomposition in Constraint Optimization Problems. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith Using Expectation Maximization to Find Likely Assignments for Solving CSP's. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Using More Reasoning to Improve #SAT Solving. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Horst Samulowitz, Fahiem Bacchus Dynamically Partitioning for Solving QBF. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus GAC Via Unit Propagation. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Kostas Stergiou 0001 Solution Directed Backjumping for QCSP. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus Caching in Backtracking Search. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith A Heuristic Search Approach to Planning with Temporally Extended Preferences. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Matthew Kitching, Fahiem Bacchus Symmetric Component Caching. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Fahiem Bacchus CSPs: Adding Structure to SAT. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Horst Samulowitz, Fahiem Bacchus Binary Clause Reasoning in QBF. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Horst Samulowitz, Jessica Davies, Fahiem Bacchus Preprocessing QBF. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus Generalized NoGoods in CSPs. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Fahiem Bacchus, Toby Walsh (eds.) Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Horst Samulowitz, Fahiem Bacchus Using SAT in QBF. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Toby Walsh Propagating Logical Combinations of Constraints. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Nathanael Hyafil, Fahiem Bacchus Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi Combining Component Caching and Clause Learning for Effective Model Counting. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Christian Thiffault, Fahiem Bacchus, Toby Walsh Solving Non-clausal Formulas with DPLL search. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Christian Thiffault, Fahiem Bacchus, Toby Walsh Solving Non-clausal Formulas with DPLL Search. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ronald P. A. Petrick, Fahiem Bacchus Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Ronald P. A. Petrick, Fahiem Bacchus Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Search on Bibsonomy ICAPS The full citation details ... 2004 DBLP  BibTeX  RDF
1Fahiem Bacchus The Power of Modeling - a Response to PDDL2.1. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi DPLL with Caching: A new algorithm for #SAT and Bayesian Inference Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2003 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller From Statistical Knowledge Bases to Degrees of Belief Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi Algorithms and Complexity Results for #SAT and Bayesian Inference. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi Value Elimination: Bayesian Interence via Backtracking Search. Search on Bibsonomy UAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fahiem Bacchus, Jonathan Winter Effective Preprocessing with Hyper-Resolution and Equality Reduction. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus Unrestricted Nogood Recording in CSP Search. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nathanael Hyafil, Fahiem Bacchus Conformant Probabilistic Planning via CSPs. Search on Bibsonomy ICAPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Adriana Lopez, Fahiem Bacchus Generalizing GraphPlan by Formulating Planning as a CSP. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh Binary vs. non-binary constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus Enhancing Davis Putnam with Extended Binary Clause Reasoning. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Ronald P. A. Petrick, Fahiem Bacchus A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Search on Bibsonomy AIPS The full citation details ... 2002 DBLP  BibTeX  RDF
1Fahiem Bacchus The AIPS '00 Planning Competition. Search on Bibsonomy AI Magazine The full citation details ... 2001 DBLP  BibTeX  RDF
1Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman UCP-Networks: A Directed Graphical Representation of Conditional Utilities. Search on Bibsonomy UAI The full citation details ... 2001 DBLP  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus GAC on Conjunctions of Constraints. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Michael Ady Planning with Resources and Concurrency: A Forward Chaining Approach. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Fahiem Bacchus, Froduald Kabanza Using temporal logics to express search control knowledge for planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus Extending Forward Checking. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Froduald Kabanza Planning for Temporally Extended Goals. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque Reasoning about Noisy Sensors and Effectors in the Situation Calculus Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Fahiem Bacchus, Peter van Beek On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Fahiem Bacchus, Ronald P. A. Petrick Modeling an Agent's Incomplete Knowledge During Planning and During Execution. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Fahiem Bacchus, Yee Whye Teh Making Forward Chaining Relevant. Search on Bibsonomy AIPS The full citation details ... 1998 DBLP  BibTeX  RDF
1Fahiem Bacchus, Craig Boutilier, Adam J. Grove Structured Solution Methods for Non-Markovian Decision Processes. Search on Bibsonomy AAAI/IAAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller From Statistical Knowledge Bases to Degrees of Belief. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Craig Boutilier, Adam J. Grove Rewarding Behaviors. Search on Bibsonomy AAAI/IAAI, Vol. 2 The full citation details ... 1996 DBLP  BibTeX  RDF
1Fahiem Bacchus, Froduald Kabanza Planning for Temporally Extended Goals. Search on Bibsonomy AAAI/IAAI, Vol. 2 The full citation details ... 1996 DBLP  BibTeX  RDF
1Fahiem Bacchus Using Temporal Logics for Planning and Control. Search on Bibsonomy TIME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove Utility Independence in a Qualitative Decision Theory. Search on Bibsonomy KR The full citation details ... 1996 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove Graphical models for preference and utility. Search on Bibsonomy UAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Fahiem Bacchus, Adam J. Grove On the Forward Checking Algorithm. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 126 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license