default search action
Youssef Hamadi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c54]Youssef Hamadi, Gauthier Picard:
Résolution multicritère socialement acceptable du problème de réparation des contrats 4d dans le cadre de la gestion du trafic aérien sans pilote. APIA 2024: 83-92 - [c53]Youssef Hamadi, Gauthier Picard:
Towards Socially-Acceptable Multi-Criteria Resolution of the 4D-Contracts Repair Problem. AAMAS 2024: 2297-2299 - 2023
- [j23]Mercedes Pelegrín
, Claudia D'Ambrosio
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. Optim. Methods Softw. 38(6): 1311-1343 (2023) - 2021
- [j22]Maxime Buyse, Rémi Delmas, Youssef Hamadi:
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). Dagstuhl Artifacts Ser. 7(2): 14:1-14:4 (2021) - [j21]Annalisa Occhipinti
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18(6): 2339-2352 (2021) - [c52]Maxime Buyse, Rémi Delmas, Youssef Hamadi:
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. ECOOP 2021: 5:1-5:29 - 2020
- [j20]Thomas Durieux
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy. Softw. Test. Verification Reliab. 30(2) (2020) - [c51]Youssef Hamadi:
Optimization for Urban Air Mobility. LION 2020: 1-8
2010 – 2019
- 2018
- [c50]Thomas Durieux
Exhaustive Exploration of the Failure-Oblivious Computing Search Space. ICST 2018: 139-149 - [c49]Thomas Durieux
Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy. ISSRE 2018: 1-12 - [e4]Youssef Hamadi, Lakhdar Sais:
Handbook of Parallel Constraint Reasoning. Springer 2018, ISBN 978-3-319-63515-6 [contents] - [d1]Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov:
Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. IEEE DataPort, 2018 - [i8]Thomas Durieux, Youssef Hamadi, Martin Monperrus:
Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy. CoRR abs/1803.08725 (2018) - [i7]Thomas Durieux, Youssef Hamadi, Martin Monperrus:
Production-Driven Patch Generation. CoRR abs/1812.04475 (2018) - 2017
- [j19]Ky Khac Vu, Claudia D'Ambrosio
Surrogate-based methods for black-box optimization. Int. Trans. Oper. Res. 24(3): 393-424 (2017) - [c48]Thomas Durieux
Production-Driven Patch Generation. ICSE-NIER 2017: 23-26 - [i6]Youssef Hamadi, Souhila Kaci:
Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform. CoRR abs/1707.07298 (2017) - [i5]Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Martin Monperrus:
Exhaustive Exploration of the Failure-oblivious Computing Search Space. CoRR abs/1710.09722 (2017) - 2016
- [j18]Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs:
What we can learn from conflicts in propositional satisfiability. Ann. Oper. Res. 240(1): 13-37 (2016) - [j17]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146: 26-34 (2016) - [c47]Nicolás Gálvez Ramírez
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP 2016: 230-245 - [c46]Mukund Raghothaman
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. ICSE 2016: 357-367 - [c45]Nicolás Gálvez Ramírez
Evolving SMT Strategies. ICTAI 2016: 247-254 - [i4]Thomas Durieux, Youssef Hamadi, Martin Monperrus:
BanditRepair: Speculative Exploration of Runtime Patches. CoRR abs/1603.07631 (2016) - [i3]Thomas Durieux, Youssef Hamadi, Martin Monperrus:
Production-Driven Patch Generation and Validation. CoRR abs/1609.06848 (2016) - 2015
- [c44]Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi:
Stochastic Local Search for Satisfiability Modulo Theories. AAAI 2015: 1136-1143 - [c43]Mohamed Morchid, Richard Dufour, Georges Linarès, Youssef Hamadi:
Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. CICLing (2) 2015: 596-605 - [c42]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger
Switching Gene Regulatory Networks. IPCAT 2015: 131-144 - [i2]Mukund Raghothaman, Yi Wei, Youssef Hamadi:
SWIM: Synthesizing What I Mean. CoRR abs/1511.08497 (2015) - 2014
- [c41]Nicola Paoletti
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357 - [c40]Dimo Brockhoff, Youssef Hamadi, Souhila Kaci:
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. LION 2014: 121-136 - [c39]Markus N. Rabe, Christoph M. Wintersteiger
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST 2014: 388-403 - [e3]Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli:
Tractability: Practical Approaches to Hard Problems. Cambridge University Press 2014, ISBN 9781139177801 [contents] - 2013
- [b1]Youssef Hamadi:
Combinatorial Search - From Algorithms to Systems. Springer 2013, ISBN 978-3-642-41481-7, pp. I-XIII, 1-139 - [j16]Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AI Mag. 34(2): 99-106 (2013) - [j15]Youssef Hamadi, Marc Schoenauer
Guest editorial: special issue - revised selected papers of the LION 6 conference. Ann. Math. Artif. Intell. 69(2): 149-150 (2013) - [j14]Christoph M. Wintersteiger
Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. 42(1): 3-23 (2013) - [c38]Nadarajen Veerapen
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. IEEE Congress on Evolutionary Computation 2013: 554-561 - [c37]Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
Bandit-Based Search for Constraint Programming. CP 2013: 464-480 - [c36]Boyan Yordanov, Christoph M. Wintersteiger
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA 2013: 189-203 - [c35]Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. LION 2013: 315-320 - [c34]Boyan Yordanov, Christoph M. Wintersteiger
SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92 - 2012
- [j13]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Learning from conflicts in propositional satisfiability. 4OR 10(1): 15-32 (2012) - [c33]Youssef Hamadi, Christoph M. Wintersteiger:
Seven Challenges in Parallel SAT Solving. AAAI 2012: 2120-2125 - [c32]Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. ECAI 2012: 961-966 - [p3]Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
An Introduction to Autonomous Search. Autonomous Search 2012: 1-11 - [p2]Alejandro Arbelaez
Continuous Search in Constraint Programming. Autonomous Search 2012: 219-243 - [p1]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Control-Based Clause Sharing in Parallel SAT Solving. Autonomous Search 2012: 245-267 - [e2]Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Autonomous Search. Springer 2012, ISBN 978-3-642-21433-2 [contents] - [e1]Youssef Hamadi, Marc Schoenauer:
Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7219, Springer 2012, ISBN 978-3-642-34412-1 [contents] - 2011
- [j12]Youssef Hamadi, Georg Ringwelski:
Boosting distributed constraint satisfaction. J. Heuristics 17(3): 251-279 (2011) - [j11]Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais:
Deterministic Parallel DPLL. J. Satisf. Boolean Model. Comput. 7(4): 127-132 (2011) - [c31]Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
Optimizing architectural and structural aspects of buildings towards higher energy efficiency. GECCO (Companion) 2011: 727-732 - [c30]Alejandro Arbelaez
Improving Parallel Local Search for SAT. LION 2011: 46-60 - [c29]Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures. PDMC 2011: 43-54 - 2010
- [j10]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Learning for Dynamic Subsumption. Int. J. Artif. Intell. Tools 19(4): 511-529 (2010) - [c28]Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Diversification and Intensification in Parallel SAT Solving. CP 2010: 252-265 - [c27]Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246 - [c26]Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag:
Building Portfolios for the Protein Structure Prediction Problem. WCB@ICLP 2010: 2-7 - [c25]Alejandro Arbelaez
Continuous Search in Constraint Programming. ICTAI (1) 2010: 53-60 - [c24]Jérémie Vautard, Arnaud Lallouet, Youssef Hamadi:
A Parallel Solving Algorithm for Quantified Constraints Problems. ICTAI (1) 2010: 271-274 - [c23]Youssef Hamadi:
From Parallel SAT to Distributed SAT. POS@SAT 2010: 1 - [c22]Vincent Vidal, Lucas Bordeaux, Youssef Hamadi:
Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. SOCS 2010: 100-107
2000 – 2009
- 2009
- [j9]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
ManySAT: a Parallel SAT Solver. J. Satisf. Boolean Model. Comput. 6(4): 245-262 (2009) - [j8]Youssef Hamadi:
Conclusion to the Special Issue on Parallel SAT Solving. J. Satisf. Boolean Model. Comput. 6(4): 263 (2009) - [c21]Christoph M. Wintersteiger
A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720 - [c20]Cédric Piette, Youssef Hamadi, Lakhdar Sais:
Efficient Combination of Decision Procedures for MUS Computation. FroCoS 2009: 335-349 - [c19]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Learning for Dynamic Subsumption. ICTAI 2009: 328-335 - [c18]Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz:
Experiments with Massively Parallel Constraint Solving. IJCAI 2009: 443-448 - [c17]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Control-Based Clause Sharing in Parallel SAT Solving. IJCAI 2009: 499-504 - [c16]Alejandro Arbelaez
Exploiting weak dependencies in tree-based search. SAC 2009: 1385-1391 - [i1]Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Learning for Dynamic subsumption. CoRR abs/0904.0029 (2009) - 2008
- [c15]Cédric Piette, Youssef Hamadi, Lakhdar Sais:
Vivifying Propositional Clausal Formulae. ECAI 2008: 525-529 - [c14]Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
A Generalized Framework for Conflict Analysis. SAT 2008: 21-27 - 2007
- [j7]Youssef Hamadi, Lucas Bordeaux:
Preface to Special Issue on SAT/CP Integration. J. Satisf. Boolean Model. Comput. 1(3-4) (2007) - [c13]Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs. AAAI 2007: 502-507 - [c12]Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797 - 2006
- [j6]Lucas Bordeaux, Youssef Hamadi, Lintao Zhang:
Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38(4): 12 (2006) - [j5]Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake:
AutoCollage. ACM Trans. Graph. 25(3): 847-852 (2006) - [c11]Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228 - [c10]Yek Loong Chong, Youssef Hamadi:
Distributed Log-Based Reconciliation. ECAI 2006: 108-112 - 2005
- [j4]Youssef Hamadi, Marc Shapiro:
Pushing Log-Based Reconciliation. Int. J. Artif. Intell. Tools 14(3): 445-458 (2005) - [j3]Youssef Hamadi:
Conflicting Agents in Distributed Search. Int. J. Artif. Intell. Tools 14(3): 459-476 (2005) - [c9]Youssef Hamadi:
Continuous resources allocation in Internet data centers. CCGRID 2005: 566-573 - [c8]Georg Ringwelski, Youssef Hamadi:
Boosting Distributed Constraint Satisfaction. CP 2005: 549-562 - [c7]Mark Bartlett, Alan M. Frisch
The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48 - 2002
- [j2]Youssef Hamadi:
Optimal Distributed Arc-Consistency. Constraints An Int. J. 7(3-4): 367-385 (2002) - [j1]Youssef Hamadi:
Interleaved Backtracking in Distributed Constraint Networks. Int. J. Artif. Intell. Tools 11(2): 167-188 (2002) - [c6]Youssef Hamadi:
DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. WECWIS 2002: 245-248 - 2001
- [c5]Youssef Hamadi:
Interleaved Backtracking in Distributed Constraint Networks. ICTAI 2001: 33-41
1990 – 1999
- 1999
- [c4]Youssef Hamadi:
Optimal Distributed Arc-Consistency. CP 1999: 219-233 - [c3]Joël Quinqueton, Youssef Hamadi:
Communication et Emergence : une épidémie chez les termites. JFIADSMA 1999: 225-235 - 1998
- [c2]Youssef Hamadi, Christian Bessière, Joël Quinqueton:
Distributed Intelligent Backtracking. ECAI 1998: 219-223 - 1997
- [c1]Youssef Hamadi, David Merceron:
Reconfigurable Architectures: A New Vision for Optimization Problems. CP 1997: 209-221
Coauthor Index
Lakhdar Sais
aka: Lakhdar Saïs
aka: Lakhdar Saïs
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 01:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: