×
Author ID: bacchus.fahiem Recent zbMATH articles by "Bacchus, Fahiem"
Published as: Bacchus, Fahiem; Bacchus, F.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 282 times in 242 Documents Cited by Year
Using temporal logics to express search control knowledge for planning. Zbl 0939.68827
Bacchus, F.; Kabanza, F.
42
2000
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
31
1999
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
25
1998
Solving #SAT and Bayesian inference with backtracking search. Zbl 1182.68294
Bacchus, F.; Dalmao, S.; Pitassi, T.
23
2009
From statistical knowledge bases to degrees of belief. Zbl 1506.68146
Bacchus, Fahiem; Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
21
1996
Exploiting the power of MIP solvers in MAXSAT. Zbl 1390.68592
Davies, Jessica; Bacchus, Fahiem
20
2013
Enhancing search-based QBF solving by dynamic blocked clause elimination. Zbl 1471.68251
Lonsing, Florian; Bacchus, Fahiem; Biere, Armin; Egly, Uwe; Seidl, Martina
12
2015
Effective preprocessing with hyper-resolution and equality reduction. Zbl 1204.68176
Bacchus, Fahiem; Winter, Jonathan
11
2004
Downward refinement and the efficiency of hierarchical problem solving. Zbl 0938.68829
Bacchus, Fahiem; Yang, Qiang
10
1994
GAC via unit propagation. Zbl 1145.68502
Bacchus, Fahiem
10
2007
A modest, but semantically well founded, inheritance reasoner. Zbl 0714.68080
Bacchus, Fahiem
9
1989
Against conditionalization. Zbl 0758.03005
Bacchus, F.; Kyburg, H. E. jun.; Thalos, M.
9
1990
Cores in core based MaxSat algorithms: an analysis. Zbl 1423.68432
Bacchus, Fahiem; Narodytska, Nina
8
2014
Exploiting circuit representations in QBF solving. Zbl 1306.68158
Goultiaeva, Alexandra; Bacchus, Fahiem
8
2010
Using SAT in QBF. Zbl 1153.68485
Samulowitz, Horst; Bacchus, Fahiem
8
2005
Binary vs. non-binary constraints. Zbl 0999.68201
Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby
6
2002
A heuristic search approach to planning with temporally extended preferences. Zbl 1191.68623
Baier, Jorge A.; Bacchus, Fahiem; McIlraith, Sheila A.
6
2009
Binary clause reasoning in QBF. Zbl 1187.68265
Samulowitz, Horst; Bacchus, Fahiem
6
2006
Solving non-clausal formulas with DPLL search. Zbl 1152.68588
Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby
6
2004
Lp - a logic for statistical information. Zbl 0721.68059
Bacchus, Fahiem
5
1990
Recovering and utilizing partial duality in QBF. Zbl 1390.68573
Goultiaeva, Alexandra; Bacchus, Fahiem
5
2013
A non-reified temporal logic. Zbl 0762.03009
Bacchus, Fahiem; Tenenberg, Josh; Koomen, Johannes A.
5
1991
The downward refinement property. Zbl 0747.68063
Bacchus, Fahiem; Yang, Qiang
5
1991
Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Zbl 1077.68002
4
2005
Beyond CNF: a circuit-based QBF solver. Zbl 1247.68236
Goultiaeva, Alexandra; Iverson, Vicki; Bacchus, Fahiem
4
2009
Finding a collection of MUSes incrementally. Zbl 1475.68334
Bacchus, Fahiem; Katsirelos, George
4
2016
Extending forward checking. Zbl 1044.68735
Bacchus, Fahiem
2
2000
Clause size reduction with all-UIP learning. Zbl 07331010
Feng, Nick; Bacchus, Fahiem
2
2020
Trail saving on backtrack. Zbl 07331011
Hickey, Randy; Bacchus, Fahiem
2
2020
Speeding up assumption-based SAT. Zbl 1441.68226
Hickey, Randy; Bacchus, Fahiem
2
2019
The power of modeling – a response to PDDL2.1. Zbl 1036.68089
Bacchus, F.
1
2003
Dynamically partitioning for solving QBF. Zbl 1214.68373
Samulowitz, Horst; Bacchus, Fahiem
1
2007
Abstract cores in implicit hitting set MaxSat solving. Zbl 07331027
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
1
2020
Solution directed backjumping for QCSP. Zbl 1145.68503
Bacchus, Fahiem; Stergiou, Kostas
1
2007
Clause size reduction with all-UIP learning. Zbl 07331010
Feng, Nick; Bacchus, Fahiem
2
2020
Trail saving on backtrack. Zbl 07331011
Hickey, Randy; Bacchus, Fahiem
2
2020
Abstract cores in implicit hitting set MaxSat solving. Zbl 07331027
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
1
2020
Speeding up assumption-based SAT. Zbl 1441.68226
Hickey, Randy; Bacchus, Fahiem
2
2019
Finding a collection of MUSes incrementally. Zbl 1475.68334
Bacchus, Fahiem; Katsirelos, George
4
2016
Enhancing search-based QBF solving by dynamic blocked clause elimination. Zbl 1471.68251
Lonsing, Florian; Bacchus, Fahiem; Biere, Armin; Egly, Uwe; Seidl, Martina
12
2015
Cores in core based MaxSat algorithms: an analysis. Zbl 1423.68432
Bacchus, Fahiem; Narodytska, Nina
8
2014
Exploiting the power of MIP solvers in MAXSAT. Zbl 1390.68592
Davies, Jessica; Bacchus, Fahiem
20
2013
Recovering and utilizing partial duality in QBF. Zbl 1390.68573
Goultiaeva, Alexandra; Bacchus, Fahiem
5
2013
Exploiting circuit representations in QBF solving. Zbl 1306.68158
Goultiaeva, Alexandra; Bacchus, Fahiem
8
2010
Solving #SAT and Bayesian inference with backtracking search. Zbl 1182.68294
Bacchus, F.; Dalmao, S.; Pitassi, T.
23
2009
A heuristic search approach to planning with temporally extended preferences. Zbl 1191.68623
Baier, Jorge A.; Bacchus, Fahiem; McIlraith, Sheila A.
6
2009
Beyond CNF: a circuit-based QBF solver. Zbl 1247.68236
Goultiaeva, Alexandra; Iverson, Vicki; Bacchus, Fahiem
4
2009
GAC via unit propagation. Zbl 1145.68502
Bacchus, Fahiem
10
2007
Dynamically partitioning for solving QBF. Zbl 1214.68373
Samulowitz, Horst; Bacchus, Fahiem
1
2007
Solution directed backjumping for QCSP. Zbl 1145.68503
Bacchus, Fahiem; Stergiou, Kostas
1
2007
Binary clause reasoning in QBF. Zbl 1187.68265
Samulowitz, Horst; Bacchus, Fahiem
6
2006
Using SAT in QBF. Zbl 1153.68485
Samulowitz, Horst; Bacchus, Fahiem
8
2005
Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Zbl 1077.68002
4
2005
Effective preprocessing with hyper-resolution and equality reduction. Zbl 1204.68176
Bacchus, Fahiem; Winter, Jonathan
11
2004
Solving non-clausal formulas with DPLL search. Zbl 1152.68588
Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby
6
2004
The power of modeling – a response to PDDL2.1. Zbl 1036.68089
Bacchus, F.
1
2003
Binary vs. non-binary constraints. Zbl 0999.68201
Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby
6
2002
Using temporal logics to express search control knowledge for planning. Zbl 0939.68827
Bacchus, F.; Kabanza, F.
42
2000
Extending forward checking. Zbl 1044.68735
Bacchus, Fahiem
2
2000
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
31
1999
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
25
1998
From statistical knowledge bases to degrees of belief. Zbl 1506.68146
Bacchus, Fahiem; Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
21
1996
Downward refinement and the efficiency of hierarchical problem solving. Zbl 0938.68829
Bacchus, Fahiem; Yang, Qiang
10
1994
A non-reified temporal logic. Zbl 0762.03009
Bacchus, Fahiem; Tenenberg, Josh; Koomen, Johannes A.
5
1991
The downward refinement property. Zbl 0747.68063
Bacchus, Fahiem; Yang, Qiang
5
1991
Against conditionalization. Zbl 0758.03005
Bacchus, F.; Kyburg, H. E. jun.; Thalos, M.
9
1990
Lp - a logic for statistical information. Zbl 0721.68059
Bacchus, Fahiem
5
1990
A modest, but semantically well founded, inheritance reasoner. Zbl 0714.68080
Bacchus, Fahiem
9
1989
all top 5

Cited by 475 Authors

11 Biere, Armin
11 Järvisalo, Matti
8 Lonsing, Florian
8 Seidl, Martina
7 Levesque, Hector J.
6 Belle, Vaishak
6 Lukasiewicz, Thomas
5 Marques-Silva, João P.
4 Bacchus, Fahiem
4 Berg, Jeremias
4 Heule, Marijn J. H.
4 Janota, Mikoláš
4 Szeider, Stefan
3 Beyersdorff, Olaf
3 Bonet, Blai
3 Duan, Zhenhua
3 Egly, Uwe
3 Eiter, Thomas
3 Geffner, Hector
3 Giordano, Laura
3 Greco, Gianluigi
3 Ignatyev, Alexey A.
3 Jonsson, Peter
3 Kiesl, Benjamin
3 Lakemeyer, Gerhard
3 Martelli, Alberto
3 Neufeld, Eric M.
3 Tentrup, Leander
3 Tian, Cong
3 Traverso, Paolo
2 Allouche, David
2 Ansótegui, Carlos
2 Artikis, Alexander
2 Baier, Jorge A.
2 Baral, Chitta R.
2 Bauer, Andreas
2 Bendík, Jaroslav
2 Bertoli, Piergiorgio
2 Chew, Leroy
2 Cimatti, Alessandro
2 Cohen, David A.
2 Dasgupta, Pallab
2 De Giacomo, Giuseppe
2 de Givry, Simon
2 Delgrande, James P.
2 Gabàs, Joel
2 Gelfond, Michael
2 Gerevini, Alfonso Emilio
2 Habet, Djamal
2 Herzig, Andreas
2 Hindriks, Koen V.
2 Hunter, Anthony
2 Hyttinen, Antti
2 Imaz, Gonzalo E.
2 Jeavons, Peter G.
2 Jobczyk, Krystian
2 Jonsson, Anders
2 Junttila, Tommi A.
2 Kabanza, Froduald
2 Katsirelos, George
2 Kifer, Michael
2 Klieber, William
2 Koshimura, Miyuki
2 Kučera, Petr
2 Lagniez, Jean-Marie
2 Li, Chumin
2 Ligȩza, Antoni
2 Lin, Fangzhen
2 Long, Derek
2 Lynce, Inês
2 Manquinho, Vasco M.
2 Manyà, Felip
2 Marquis, Pierre
2 Martins, Ruben
2 McIlraith, Sheila A.
2 Morgado, António
2 Ognjanović, Zoran
2 O’Sullivan, Barry
2 Paliouras, Georgios
2 Patrizi, Fabio
2 Peitl, Tomáš
2 Pinto, Javier A.
2 Pistore, Marco
2 Poggioni, Valentina
2 Pulina, Luca
2 Roveri, Marco
2 Saetti, Alessandro
2 Savický, Petr
2 Scarcello, Francesco
2 Schiex, Thomas
2 Slivovsky, Friedrich
2 Son, Tran Cao
2 Suda, Martin
2 Tompits, Hans
2 Walsh, Toby
2 Yang, Kai
2 Zhang, Nan
1 Abramé, André
1 Albore, Alexandre
1 Alechina, Natasha
...and 375 more Authors
all top 5

Cited in 42 Serials

78 Artificial Intelligence
15 International Journal of Approximate Reasoning
12 Constraints
10 Annals of Mathematics and Artificial Intelligence
7 Journal of Automated Reasoning
5 Formal Methods in System Design
5 Journal of Applied Logic
5 Journal of Satisfiability, Boolean Modeling and Computation
4 Studia Logica
4 Synthese
3 Theoretical Computer Science
3 ACM Journal of Experimental Algorithmics
2 Information Sciences
2 Journal of Computer and System Sciences
2 Journal of Philosophical Logic
2 AI Communications
2 Annals of Operations Research
2 Journal of Logic, Language and Information
2 Journal of Applied Non-Classical Logics
2 Theory and Practice of Logic Programming
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Journal of Mathematical Analysis and Applications
1 Fuzzy Sets and Systems
1 Programming and Computer Software
1 Journal of Symbolic Computation
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Applied Intelligence
1 Artificial Intelligence Review
1 The Journal of Artificial Intelligence Research (JAIR)
1 Journal of Heuristics
1 Journal of Combinatorial Optimization
1 Fundamenta Informaticae
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Journal of Machine Learning Research (JMLR)
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science

Citations by Year