Hamadi, Youssef

5 publications

AAAI 2015 Stochastic Local Search for Satisfiability Modulo Theories Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi

AAAI 2012 Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger

IJCAI 2009 Control-Based Clause Sharing in Parallel SAT Solving Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

IJCAI 2009 Experiments with Massively Parallel Constraint Solving Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz

AAAI 2007 Knowledge Compilation Properties of Tree-of-BDDs Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi