Publications at the Joint Centre:
2012
Journal articles
- titre
- Learning from Conflicts in Propositional Satisfiability
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- 4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2012, 1 (10), pp.15-32
- Accès au bibtex
-
Conference papers
- titre
- Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
- auteur
- Said Jabbour, Nadjib Lazaar, Youssef Hamadi, Michèle Sebag
- article
- Workshop on Bayesian Optimization & Decision Making, 2012, Lake Tahoe, United States
- Accès au bibtex
-
Book sections
- titre
- Control-based clause sharing in Parallel SAT
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- Y. Hamadi, E. Monfroy, F. Saubion. Autonomous Search, Springer, pp.245-267, 2012
- Accès au bibtex
-
Reports
- titre
- Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
- auteur
- Nadjib Lazaar, Youssef Hamadi, Said Jabbour, Michèle Sebag
- article
- [Research Report] RR-8070, INRIA. 2012, pp.18
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Deterministic Parallel DPLL
- auteur
- Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
- article
- Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2011, 7 (4), pp.127-132
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Concilier Parallélisme et Déterminisme dans la Résolution de SAT
- auteur
- Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
- article
- 7ièmes Journées Francophones de la Programmation par Contraintes (JFPC’11), 2011, France. pp.162-172, 2011
- Accès au bibtex
-
- titre
- Deterministic Parallel DPLL: System Description
- auteur
- Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
- article
- Pragmatics of SAT (POS’11), 2011, Ann Arbor, United States. pp.127-132, 2011
- Accès au bibtex
-
2010
Journal articles
- titre
- Learning for Dynamic Subsumption
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- International Journal on Artificial Intelligence Tools (IJAIT), 2010, 19 (4), pp.511-529
- Accès au bibtex
-
Conference papers
- titre
- Diversification and Intensification in Parallel {SAT} Solving
- auteur
- Long Guo, Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- 16th International Conference on Principles and Practice of Constraint Programming (CP’10), 2010, United Kingdom. pp.252-265, 2010
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- SAT: a parallel SAT solver
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2009, 6, pp.245-262
- Accès au bibtex
-
Conference papers
- titre
- Control-Based Clause Sharing in Parallel {SAT} Solving
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- 21st International Joint Conference on Artificial Intelligence (IJCAI’09), 2009, Pasadena, United States. pp.499-504, 2009
- Accès au bibtex
-
- titre
- Learning for Dynamic Subsumption
- auteur
- Youssef Hamadi, Said Jabbour, Lakhdar Saïs
- article
- 21st International Conference on Tools with Artificial Intelligence (ICTAI’09), 2009, Newark, United States. pp.328-335, 2009
- Accès au bibtex
-
