Youssef Hamadi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights Optimization Methods & Software	2023-12-11	Paper
Passenger-Centric Urban Air Mobility: Fairness Trade-Offs and Operational Efficiency	2021-03-17	Paper
Surrogate‐based methods for black‐box optimization International Transactions in Operational Research	2017-07-13	Paper
What we can learn from conflicts in propositional satisfiability Annals of Operations Research	2016-07-22	Paper
Deterministic parallel DPLL Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
Functional analysis of large-scale DNA strand displacement circuits Lecture Notes in Computer Science	2014-07-07	Paper
Combinatorial search: from algorithms to systems	2014-05-15	Paper
Efficiently solving quantified bit-vector formulas Formal Methods in System Design	2014-03-28	Paper
Learning from conflicts in propositional satisfiability 4OR	2012-06-13	Paper
Efficient combination of decision procedures for MUS computation Frontiers of Combining Systems	2010-01-07	Paper
ManySAT: a parallel SAT solver	2009-10-26	Paper
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms Principles and Practice of Constraint Programming - CP 2006	2008-09-09	Paper
Boosting Distributed Constraint Satisfaction Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
An Analysis of Slow Convergence in Interval Propagation Principles and Practice of Constraint Programming – CP 2007	2008-09-02	Paper
A Generalized Framework for Conflict Analysis Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
The Temporal Knapsack Problem and Its Solution Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2008-03-17	Paper
Optimal distributed arc-consistency Constraints	2003-05-04	Paper

Research outcomes over time

This page was built for person: Youssef Hamadi