: : Le Pr KAM YOGO Emmanuel, Maitre de Conférences à l'Université de Douala, nommé Professeur associé à la Faculté de droit de l'Université Laval au Canada : : L'Institut des Sciences Halieutiques (ISH) de l'Université de Douala à Yabassi honoré à travers l'un de ses étudiants, M. Herman NDJOKO, pour sa star-up "Energy for all-Co", spécialisée dans la production de l'énergie tant biologique que renouvelable

:::PUBLICATIONS:::

JOURNAL STD Vol. 18

◄•►

Cover & Editorial

Guide aux Auteurs

◄•►

ARTICLES IN PRESS[new]

◄•►

ABOUT US :

Contacts

SUIVEZ-NOUS SUR FBK

LONLAC KONLAC Jerry Garvin, Assistant

► Publications Scientifiques

1.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou. Résolution Étendue par Substitution Dynamique des Fonctions Booléennes. Révue d’Intelligence Artificielle (RIA),  2014. (En révision)   Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi. Revisiting the Learned Clauses Database Reduction Strategies. Submitted to the 17th International Conference on Theory and Applications of Satisfiability Testing  (SAT’14).

2.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers. In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA-13). Washington, USA, July 11-13.

3.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. In Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT-12).  Italy, Trento, July 2012.

4.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Extending Resolution by Dynamic Substitution of Boolean Functions. In Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (IEEE ICTAI-12). Athenes, November 7-9 2012.

5.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi. Révision des Stratégies de Réduction de la Base des Clauses Apprises. Submitted to the eighth National conference on Constraints Programming (JFPC-14).

6.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Nouvelles Clauses Bi-Assertives pour accélérer la Recherche dans les Solveurs SAT Modernes. Submitted to the eighth National conference on Constraints Programming (JFPC-14).

7.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. In Proceedings of the eighth National conference on Constraints Programming (JFPC-12), 146-155. Toulouse, 22-24, mai 2012.

8.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification de la Recherche dans les Solveurs SAT Modernes. In Proceedings of the eighth National conference on Constraints Programming (JFPC-12), 156-159. Toulouse, 22- 24, mai 2012.

Fiche d'inscription en thèse

PDF | Word