Youssef Hamadi

Available identifiers

Publication	Date of Publication	Type
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights	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	2017-07-13	Paper
What we can learn from conflicts in propositional satisfiability	2016-07-22	Paper
Deterministic parallel DPLL	2016-02-23	Paper
Functional Analysis of Large-Scale DNA Strand Displacement Circuits	2014-07-07	Paper
Combinatorial Search: From Algorithms to Systems	2014-05-15	Paper
Efficiently solving quantified bit-vector formulas	2014-03-28	Paper
Learning from conflicts in propositional satisfiability	2012-06-13	Paper
Efficient Combination of Decision Procedures for MUS Computation	2010-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3639756	2009-10-26	Paper
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms	2008-09-09	Paper
Boosting Distributed Constraint Satisfaction	2008-09-09	Paper
An Analysis of Slow Convergence in Interval Propagation	2008-09-02	Paper
A Generalized Framework for Conflict Analysis	2008-05-27	Paper
The Temporal Knapsack Problem and Its Solution	2008-03-17	Paper
Optimal distributed arc-consistency	2003-05-04	Paper

This page was built for person: Youssef Hamadi