×
Compute Distance To:
Author ID: hamadi.youssef Recent zbMATH articles by "Hamadi, Youssef"
Published as: Hamadi, Youssef; Hamadi, Y.

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 103 times in 87 Documents Cited by Year
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
27
2009
Efficiently solving quantified bit-vector formulas. Zbl 1284.03212
Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo
17
2013
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
10
2008
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
10
2006
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
9
2005
Surrogate-based methods for black-box optimization. Zbl 1366.90196
Vu, Ky Khac; D’Ambrosio, Claudia; Hamadi, Youssef; Liberti, Leo
9
2017
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
4
2011
Learning from conflicts in propositional satisfiability. Zbl 1242.68287
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar
3
2012
Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112
Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel
3
2013
Handbook of parallel constraint reasoning. Zbl 1387.68001
3
2018
Efficient combination of decision procedures for MUS computation. Zbl 1193.68226
Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar
2
2009
Combinatorial search: from algorithms to systems. Zbl 1317.68003
Hamadi, Youssef
2
2013
Optimal distributed arc-consistency. Zbl 1028.68155
Hamadi, Youssef
2
2002
An analysis of slow convergence in interval propagation. Zbl 1145.68506
Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y.
1
2007
Boosting distributed constraint satisfaction. Zbl 1153.68483
Ringwelski, Georg; Hamadi, Youssef
1
2005
Handbook of parallel constraint reasoning. Zbl 1387.68001
3
2018
Surrogate-based methods for black-box optimization. Zbl 1366.90196
Vu, Ky Khac; D’Ambrosio, Claudia; Hamadi, Youssef; Liberti, Leo
9
2017
Efficiently solving quantified bit-vector formulas. Zbl 1284.03212
Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo
17
2013
Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112
Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel
3
2013
Combinatorial search: from algorithms to systems. Zbl 1317.68003
Hamadi, Youssef
2
2013
Learning from conflicts in propositional satisfiability. Zbl 1242.68287
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar
3
2012
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
4
2011
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
27
2009
Efficient combination of decision procedures for MUS computation. Zbl 1193.68226
Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar
2
2009
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
10
2008
An analysis of slow convergence in interval propagation. Zbl 1145.68506
Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y.
1
2007
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
10
2006
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
9
2005
Boosting distributed constraint satisfaction. Zbl 1153.68483
Ringwelski, Georg; Hamadi, Youssef
1
2005
Optimal distributed arc-consistency. Zbl 1028.68155
Hamadi, Youssef
2
2002
all top 5

Cited by 220 Authors

4 Marques-Silva, João P.
4 Reynolds, Andrew
3 Barrett, Clark W.
3 Biere, Armin
3 Goerigk, Marc
3 Hamadi, Youssef
3 Hoos, Holger H.
3 Hughes, Martin
3 Janota, Mikoláš
3 Leyton-Brown, Kevin
3 Niemetz, Aina
3 Phillips, Andrew
3 Preiner, Mathias
3 Saïs, Lakhdar
3 Tinelli, Cesare
2 Adel’shin, A. V.
2 Balyo, Tomáš
2 Dokka, Trivikram
2 Furini, Fabio
2 Heule, Marijn J. H.
2 Hutter, Frank
2 Iser, Markus
2 Jabbour, Said
2 Järvisalo, Matti
2 Jonáš, Martin
2 Kugler, Hillel
2 Kuncak, Viktor
2 Lakin, Matthew R.
2 Lindauer, Marius
2 Lynce, Inês
2 Martello, Silvano
2 Martinovic, John
2 Sanders, Peter
2 Semenov, Aleksandr Anatol’evich
2 Sinz, Carsten
2 Strasdat, Nico
2 Strejček, Jan
2 Sun, Jiaguang
2 Van Gelder, Allen
2 Wintersteiger, Christoph M.
2 Zhou, Min
1 Abreu, Salvador
1 Aluf-Medina, Michelle
1 Amadini, Roberto
1 Angelelli, Enrico
1 Arbelaez, Alejandro
1 Audemard, Gilles
1 Audet, Charles
1 Beck, J. Christopher
1 Becker, Bernd
1 Belov, Anton
1 Benhamou, Belaid
1 Bianchessi, Nicola
1 Bischl, Bernd
1 Böhme, Sascha
1 Burchard, Jan
1 Caniou, Yves
1 Carchrae, Tom
1 Cauwet, Marie-Liesse
1 Chagas, Jonatas B. C.
1 Chakraborty, Supratik
1 Cheng, Xi
1 Clarke, Edmund Melson jun.
1 Clautiaux, François
1 Codina, Esteve
1 Codognet, Philippe
1 Cook, Byron
1 Crama, Yves
1 Darmann, Andreas
1 Darwiche, Adnan
1 de Framond, Félix
1 Dell’Amico, Mauro
1 Dequen, Gilles
1 Desaulniers, Guy
1 Deters, Morgan
1 Detienne, Boris
1 Diaz, Daniel
1 Dolev, Danny
1 Filippi, Carlo
1 Fioretto, Ferdinando
1 Fox, Anthony C. J.
1 Fréchette, Alexandre
1 Freuder, Eugene C.
1 Fröhlich, Andreas M.
1 Froleyks, Nils
1 Gabbrielli, Maurizio
1 Gagliolo, Matteo
1 Gao, Liang
1 García-García, José Carlos
1 García-Ródenas, Ricardo
1 Gent, Ian Philip
1 Grabisch, Michel
1 Graff, Mario
1 Grimstad, Bjarne
1 Gu, Ming
1 Hansen, Michael Reichhardt
1 Hartman, Christiaan
1 He, Fei
1 Heljanko, Keijo
1 Ignatyev, Alexey A.
...and 120 more Authors

Citations by Year