Fahiem Bacchus
发表
Nathanael Hyafil,
Fahiem Bacchus,
F. Bacchus,
2003,
ICAPS.
Fahiem Bacchus,
Adriana Lopez,
F. Bacchus,
2003,
IJCAI.
Toby Walsh,
Fahiem Bacchus,
2005,
SAT.
Fahiem Bacchus,
1989,
IJCAI.
Hector J. Levesque,
Joseph Y. Halpern,
Fahiem Bacchus,
1995,
Artif. Intell..
Fahiem Bacchus,
2004
.
Fahiem Bacchus,
Ronald P. A. Petrick,
F. Bacchus,
2004,
ICAPS.
Fahiem Bacchus,
Alexandra Goultiaeva,
2010,
SAT.
Fahiem Bacchus,
F. Bacchus,
1988
.
Fahiem Bacchus,
F. Bacchus,
2007
.
Toniann Pitassi,
Philipp Hertel,
Fahiem Bacchus,
2008,
AAAI.
Wolfram Burgard,
Olivier Buffet,
Christian Balkenius,
2007,
IJCAI.
Fahiem Bacchus,
2003,
J. Artif. Intell. Res..
Fahiem Bacchus,
Ronald P. A. Petrick,
F. Bacchus,
2002,
AAAI 2002.
Fahiem Bacchus,
Cameron Bruce Fraser,
F. Bacchus,
2000
.
Leonid Ryzhyk,
Alexander Legg,
Nina Narodytska,
2014,
CAV.
Fahiem Bacchus,
George Katsirelos,
Jessica Davies,
2014,
AAAI.
Peter van Beek,
Fahiem Bacchus,
F. Bacchus,
1998,
AAAI/IAAI.
Toniann Pitassi,
Fahiem Bacchus,
Shannon Dalmao,
2014,
J. Artif. Intell. Res..
Fahiem Bacchus,
F. Bacchus,
2007,
CP.
Fahiem Bacchus,
Matthew Kitching,
2008,
CP.
Fahiem Bacchus,
Joanna Drummond,
Andrew Perrault,
2016,
AAMAS.
Fahiem Bacchus,
F. Bacchus,
1990,
ECAI.
Fahiem Bacchus,
2002
.
Fahiem Bacchus,
Nick Feng,
F. Bacchus,
2020,
SAT.
Fahiem Bacchus,
Jessica Davies,
F. Bacchus,
2011,
CP.
Peter van Beek,
Fahiem Bacchus,
F. Bacchus,
1998,
AAAI 1998.
Fahiem Bacchus,
George Katsirelos,
F. Bacchus,
2003,
CP.
Fahiem Bacchus,
Matti Järvisalo,
Antti Hyttinen,
2017,
CP.
Fahiem Bacchus,
2007,
CP.
Carlos Ansótegui,
Fahiem Bacchus,
Ruben Martins,
2017
.
Fahiem Bacchus,
Randy Hickey,
F. Bacchus,
2019,
SAT.
Toniann Pitassi,
Fahiem Bacchus,
Shannon Dalmao,
2002,
UAI.
Jorge A. Baier,
Sheila A. McIlraith,
Fahiem Bacchus,
2007,
IJCAI.
Fahiem Bacchus,
George Katsirelos,
F. Bacchus,
2015,
CAV.
Fahiem Bacchus,
Kostas Stergiou,
F. Bacchus,
2007,
CP.
Fahiem Bacchus,
F. Bacchus,
2000,
CP.
Yee Whye Teh,
Fahiem Bacchus,
Y. Teh,
1998,
AIPS.
Fahiem Bacchus,
Josh D. Tenenberg,
Johannes A. G. M. Koomen,
1989,
Artif. Intell..
Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Toby Walsh,
Fahiem Bacchus,
2005
.
Fahiem Bacchus,
George Katsirelos,
F. Bacchus,
2005,
AAAI.
Fahiem Bacchus,
F. Bacchus,
2001
.
Fahiem Bacchus,
Randy Hickey,
F. Bacchus,
2020,
SAT.
Fahiem Bacchus,
F. Bacchus,
1990,
Comput. Intell..
Nathanael Hyafil,
Fahiem Bacchus,
2004,
ECAI.
Fahiem Bacchus,
Joanna Drummond,
Andrew Perrault,
2015,
IJCAI.
Fahiem Bacchus,
Horst Samulowitz,
2007,
SAT.
Wai Lam,
Fahiem Bacchus,
F. Bacchus,
1994,
UAI.
Fahiem Bacchus,
F. Bacchus,
2002,
AAAI/IAAI.
Fahiem Bacchus,
Jeremias Berg,
Alex Poole,
2020,
SAT.
Fahiem Bacchus,
1993,
UAI.
Fahiem Bacchus,
Matti Järvisalo,
Antti Hyttinen,
2018,
IJCAI.
Toniann Pitassi,
Fahiem Bacchus,
Shannon Dalmao,
2003,
44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..
Fahiem Bacchus,
Ronald P. A. Petrick,
F. Bacchus,
2003
.
Fahiem Bacchus,
F. Bacchus,
1991,
AAAI.
Fahiem Bacchus,
Adam J. Grove,
F. Bacchus,
1995,
CP.
Fahiem Bacchus,
Alexandra Goultiaeva,
2012,
SAT.
Toniann Pitassi,
Fahiem Bacchus,
Shannon Dalmao,
2003,
Electron. Colloquium Comput. Complex..
Fahiem Bacchus,
George Katsirelos,
2001,
CP.
Fahiem Bacchus,
Alexandra Goultiaeva,
Vicki Iverson,
2009,
SAT.
Fahiem Bacchus,
F. Bacchus,
1990,
Comput. Intell..
Ronen I. Brafman,
Craig Boutilier,
Fahiem Bacchus,
2001,
UAI.
Fahiem Bacchus,
Matti Järvisalo,
Ruben Martins,
2018
.
Toby Walsh,
Fahiem Bacchus,
2005
.
Hector J. Levesque,
Joseph Y. Halpern,
Fahiem Bacchus,
1995,
IJCAI.
Fahiem Bacchus,
F. Bacchus,
2013,
UAI.
Fahiem Bacchus,
2006,
SAT.
Fahiem Bacchus,
Ronald P. A. Petrick,
2004,
AAAI 2004.
Fahiem Bacchus,
Adam J. Grove,
F. Bacchus,
1996,
KR.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1994,
AAAI.
Qiang Yang,
Fahiem Bacchus,
F. Bacchus,
1991,
IJCAI.
Fahiem Bacchus,
Horst Samulowitz,
Jessica Davies,
2006,
CP.
Toby Walsh,
Fahiem Bacchus,
F. Bacchus,
2005,
IJCAI.
Fahiem Bacchus,
Adam J. Grove,
F. Bacchus,
1995,
UAI.
Carlos Ansótegui,
Fahiem Bacchus,
Ruben Martins,
2017
.
Fahiem Bacchus,
Paul van Run,
F. Bacchus,
1995,
CP.
Tommi S. Jaakkola,
Fahiem Bacchus,
2012,
ArXiv.
Toby Walsh,
Fahiem Bacchus,
Christian Thiffault,
2004,
SAT.
Andreas G. Veneris,
Fahiem Bacchus,
Hratch Mangassarian,
2010,
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Fahiem Bacchus,
Jessica Davies,
2007,
AAAI.
Fahiem Bacchus,
Matthew Kitching,
2009,
IJCAI.
Wai Lam,
Fahiem Bacchus,
F. Bacchus,
1994
.
Qiang Yang,
Fahiem Bacchus,
F. Bacchus,
1994,
Artif. Intell..
Fahiem Bacchus,
Alexandra Goultiaeva,
2010,
AAAI.
Nina Narodytska,
Fahiem Bacchus,
2014,
SAT.
Fahiem Bacchus,
Froduald Kabanza,
F. Bacchus,
1996,
Annals of Mathematics and Artificial Intelligence.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1996,
Artif. Intell..
Fahiem Bacchus,
1996,
Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).
Fahiem Bacchus,
Matthew Kitching,
2007,
IJCAI.
Fahiem Bacchus,
F. Bacchus,
1991
.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1993,
IJCAI.
Fahiem Bacchus,
Allen Van Gelder,
Alexandra Goultiaeva,
2011,
IJCAI.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1994,
UAI.
Fahiem Bacchus,
Froduald Kabanza,
F. Bacchus,
1996
.
Fahiem Bacchus,
Froduald Kabanza,
F. Bacchus,
2000,
Artif. Intell..
Fahiem Bacchus,
Jessica Davies,
Jeremy Cho,
2010,
CP.
Lei Zhang,
Fahiem Bacchus,
F. Bacchus,
2012,
AAAI.
Fahiem Bacchus,
Horst Samulowitz,
F. Bacchus,
2005,
CP.
Sheila A. McIlraith,
Eric I. Hsu,
Fahiem Bacchus,
2007,
AAAI.
Nina Narodytska,
Fahiem Bacchus,
2014,
AAAI.
Wai Lam,
Fahiem Bacchus,
F. Bacchus,
1994,
Comput. Intell..
Qiang Yang,
Fahiem Bacchus,
F. Bacchus,
1992,
AAAI.
Fahiem Bacchus,
Jonathan A. Winter,
Jonathan Winter,
2003,
SAT.
Fahiem Bacchus,
Ozan Erdem,
Georgios Katsirelos,
2013
.
Fahiem Bacchus,
Horst Samulowitz,
2006,
SAT.
Fahiem Bacchus,
Ronald P. A. Petrick,
2003
.
Fahiem Bacchus,
David Poole,
Jacek Kisynski,
2011,
ArXiv.
Wai Lam,
Fahiem Bacchus,
F. Bacchus,
1993,
UAI.
Fahiem Bacchus,
Michael Ady,
F. Bacchus,
2001,
IJCAI.
Craig Boutilier,
Fahiem Bacchus,
Adam J. Grove,
1996,
AAAI/IAAI, Vol. 2.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1994,
Comput. Intell..
Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples
pdf
Fahiem Bacchus,
Joanna Drummond,
Andrew Perrault,
2015,
ArXiv.
Fahiem Bacchus,
1999
.
Fahiem Bacchus,
George Katsirelos,
F. Bacchus,
2016,
CPAIOR.
Fahiem Bacchus,
Ronald P. A. Petrick,
F. Bacchus,
2004
.
Fahiem Bacchus,
F. Bacchus,
1999
.
Fahiem Bacchus,
F. Bacchus,
2001,
AI Mag..
Fahiem Bacchus,
Ruben Martins,
Matti Järvisalo,
2019,
J. Satisf. Boolean Model. Comput..
Fahiem Bacchus,
Jessica Davies,
2013,
CP.
Fahiem Bacchus,
F. Bacchus,
2013,
UAI.
Fahiem Bacchus,
Erin Delisle,
2013,
CP.
Fahiem Bacchus,
Froduald Kabanza,
1996
.
Sanjit A. Seshia,
Fahiem Bacchus,
Chris J. Maddison,
2020,
ArXiv.
Toby Walsh,
Peter van Beek,
Fahiem Bacchus,
2002,
Artif. Intell..
Fahiem Bacchus,
Jessica Davies,
2013,
SAT.
Fahiem Bacchus,
Alexandra Goultiaeva,
2013,
SAT.
Toniann Pitassi,
Henry A. Kautz,
Fahiem Bacchus,
2004,
SAT.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1992,
AAAI.
Armin Biere,
Fahiem Bacchus,
Katalin Fazekas,
2018,
IJCAR.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
LPAR.
Craig Boutilier,
Fahiem Bacchus,
Adam J. Grove,
1997,
AAAI/IAAI.
Joseph Y. Halpern,
Fahiem Bacchus,
Daphne Koller,
1993,
FSTTCS.
Fahiem Bacchus,
Ronald P. A. Petrick,
1998
.
Fahiem Bacchus,
Ronald P. A. Petrick,
F. Bacchus,
2002,
AIPS.
Fahiem Bacchus,
Jeremias Berg,
Alex Poole,
2021,
IJCAI.
Fahiem Bacchus,
F. Bacchus,
1988
.
Fahiem Bacchus,
Sheila McIlraith,
Jorge Baier,
.
Fahiem Bacchus,
Jessica Davies,
2008
.
Fahiem Bacchus,
Roger Grosse,
Gil Lederman,
2020
.
Fahiem Bacchus,
Ron Petrick,
1998
.
Fahiem Bacchus,
Adam J. Grove,
F. Bacchus,
1999
.
Sheila A. McIlraith,
Eric I. Hsu,
Fahiem Bacchus,
2007
.