Publications

Articles de conférences internationales

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Extending Modern SAT Solvers for Models Enumeration in 11th IEEE International Conference on Information Reuse and Integration (IRI’14),IEEE Computer Society, pp. 803-810, 2014.

2014 Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 701–708, 2014.

2013 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers in 10th Symposium on Abstraction, Reformulation, and Approximation (SARA’13),AAAI Press, pp. 66-72, juillet 2013.

2012 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Extending Resolution by Dynamic Substitution of Boolean Functions in 24th International Conference on Tools with Artificial Intelligence (ICTAI’12),IEEE Computer Press, pp. 1029-1034, 2012.

2012 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Intensification Search in Modern SAT Solvers in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT’12),Springer, Lecture Notes in Computer Science(LNCS), vol. 7962, pp. 491-492, 2012.

Articles de workshops internationaux

2014 Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies in 4th Workshop on Parallel Methods for Constraint Solving (ParSearchOpt’14),juillet 2014.

Articles de revues nationales

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamegni, Resolution Etendue par Substitution Dynamique des Fonctions Booleennes in Revue d’intelligence artificielle (RIA),vol. 28, n° 6, pp. 645–663, 2014.

Articles de conférences nationales

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Autours des Strategies de Reduction de la Base de Clauses Apprises. in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),juin 2014.

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Nouvelles Clauses Bi-Assertives et leur Intégration dans les Solveurs SAT Modernes in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),juin 2014.

2012 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Resolution Etendue par Substitution Dynamique des Fonctions Booleennes in 8eme Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 146-155, mai 2012.

2012 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Intensification Search in Modern SAT Solvers in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 156-159, mai 2012.

Rapports techniques

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Revisiting the Learned Clauses Database Reduction Strategies in CoRR,ARXIV, 2014. [Download]