Edit Profile (opens in new tab) Hamadi, Youssef Compute Distance To: Compute Author ID: hamadi.youssef Published as: Hamadi, Youssef; Hamadi, Y. Documents Indexed: 15 Publications since 2002, including 1 Book 4 Contributions as Editor Co-Authors: 25 Co-Authors with 17 Joint Publications 751 Co-Co-Authors all top 5 Co-Authors 2 single-authored 7 Saïs, Lakhdar 5 Jabbour, Said 3 Bordeaux, Lucas 2 Piette, Cédric 2 Schoenauer, Marc 2 Wintersteiger, Christoph M. 1 Audemard, Gilles 1 Bartlett, Mark 1 D’Ambrosio, Claudia 1 de Moura, Leonardo 1 Frisch, Alan M. 1 Hoos, Holger H. 1 Hutter, Frank 1 Kohli, Pushmeet 1 Kugler, Hillel 1 Leyton-Brown, Kevin 1 Liberti, Leo 1 Miguel, Ian 1 Phillips, Andrew 1 Ringwelski, Georg 1 Tarim, S. Armagan 1 Unsworth, Chris 1 Vardi, Moshe Ya’akov 1 Vu, Ky Khac 1 Yordanov, Boyan all top 5 Serials 2 Journal of Satisfiability, Boolean Modeling and Computation 1 Annals of Operations Research 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 International Transactions in Operational Research 1 Constraints 1 4OR 1 Lecture Notes in Computer Science all top 5 Fields 18 Computer science (68-XX) 6 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.68227Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar 27 2009 Efficiently solving quantified bit-vector formulas. Zbl 1284.03212Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo 17 2013 A generalized framework for conflict analysis. Zbl 1138.68485Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L. 10 2008 Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 10 2006 The temporal knapsack problem and its solution. Zbl 1133.68425Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris 9 2005 Surrogate-based methods for black-box optimization. Zbl 1366.90196Vu, Ky Khac; D’Ambrosio, Claudia; Hamadi, Youssef; Liberti, Leo 9 2017 Deterministic parallel DPLL. Zbl 1331.68208Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar 4 2011 Learning from conflicts in propositional satisfiability. Zbl 1242.68287Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar 3 2012 Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112Yordanov, 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.68226Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar 2 2009 Combinatorial search: from algorithms to systems. Zbl 1317.68003Hamadi, Youssef 2 2013 Optimal distributed arc-consistency. Zbl 1028.68155Hamadi, Youssef 2 2002 An analysis of slow convergence in interval propagation. Zbl 1145.68506Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y. 1 2007 Boosting distributed constraint satisfaction. Zbl 1153.68483Ringwelski, Georg; Hamadi, Youssef 1 2005 Handbook of parallel constraint reasoning. Zbl 1387.68001 3 2018 Surrogate-based methods for black-box optimization. Zbl 1366.90196Vu, Ky Khac; D’Ambrosio, Claudia; Hamadi, Youssef; Liberti, Leo 9 2017 Efficiently solving quantified bit-vector formulas. Zbl 1284.03212Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo 17 2013 Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel 3 2013 Combinatorial search: from algorithms to systems. Zbl 1317.68003Hamadi, Youssef 2 2013 Learning from conflicts in propositional satisfiability. Zbl 1242.68287Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar 3 2012 Deterministic parallel DPLL. Zbl 1331.68208Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar 4 2011 ManySAT: a parallel SAT solver. Zbl 1193.68227Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar 27 2009 Efficient combination of decision procedures for MUS computation. Zbl 1193.68226Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar 2 2009 A generalized framework for conflict analysis. Zbl 1138.68485Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L. 10 2008 An analysis of slow convergence in interval propagation. Zbl 1145.68506Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y. 1 2007 Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 10 2006 The temporal knapsack problem and its solution. Zbl 1133.68425Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris 9 2005 Boosting distributed constraint satisfaction. Zbl 1153.68483Ringwelski, Georg; Hamadi, Youssef 1 2005 Optimal distributed arc-consistency. Zbl 1028.68155Hamadi, Youssef 2 2002 all cited Publications top 5 cited Publications 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 all top 5 Cited in 29 Serials 10 Artificial Intelligence 8 Computers & Operations Research 5 Formal Methods in System Design 5 Constraints 4 Annals of Operations Research 3 Theoretical Computer Science 3 Annals of Mathematics and Artificial Intelligence 2 Journal of Automated Reasoning 2 European Journal of Operational Research 2 Theory and Practice of Logic Programming 2 Prikladnaya Diskretnaya Matematika 1 Computer Methods in Applied Mechanics and Engineering 1 Information Processing Letters 1 Journal of Computational and Applied Mathematics 1 Journal of Computer and System Sciences 1 International Journal of Parallel Programming 1 Journal of Global Optimization 1 Computational Optimization and Applications 1 The Electronic Journal of Combinatorics 1 Journal of Heuristics 1 Theory of Computing Systems 1 International Journal of Applied Mathematics and Computer Science 1 Optimization and Engineering 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 4OR 1 Acta Numerica 1 Optimization Letters 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 61 Computer science (68-XX) 36 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year