BREAKIN NEWS : L'Université de Douala, championne des Jeux universitaires de Bamenda 2017 avec 14 médailles en OR!

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.

CLASSEMENT MINESUP

CLASSEMENT 2017 DES ETABLISSEMENTS DANS LES UNIVERSITES DU CAMEROUN

01 Institut Universitaire de Technologie (IUT) Université de Douala 
02 Ecole Normale Supérieure (ENS) Université de Maroua
03 Faculté des Sciences Economiques et de Gestion Appliquée (FSEGA) Université de Douala
04 Faculté de Médecine et des Sciences Biomédicales (FMSB) Université de Yaoundé I
05 Faculté de Génie Industriel (FGI) Université de Douala
06 Institut Supérieur du Sahel (ISS) Université de Maroua
07 Institut Universitaire de Technologie (IUT) Université de Ngaoundéré
08 Ecole Nationale Supérieure des Sciences Agro-Industrielles (ENSAI) Université de Ngaoundéré
09 Ecole Supérieure des Sciences Economiques et de Commerce (ESSEC) Université de Douala
10 Faculty of Health Sciences (FHS) University of Buea
11 Faculty of Sciences (FS) University de Buea
12 Faculté des Sciences (FS) Université de Douala
13 Faculté des Sciences (FS) Université de Ngaoundéré
14 Faculté des Sciences (FS) Université de Dschang
15 Institut de Formation et de Recherche Démographique (IFORD) Université de Yaoundé II
16 Ecole Normale Supérieure de l’Enseignement Technique (ENSET) Université de Douala
17 Faculté des Lettres et Sciences Humaines (FLSH) Université de Dschang
18 Faculté des Sciences (FS) Université de Yaoundé I
19 Faculté des Sciences Economiques et de Gestion (FSEG) Université de Ngaoundéré
20 Institut Universitaire de Technologie Fotso Victor à Bandjoun (IUT) Université de Dschang
21 College of Technologies (COLTEC) University of Buea
22 Institut des Relations Internationales du Cameroun (IRIC) Université de Yaoundé II
23 Faculty of Arts (FA) University of Buea
24 Ecole Supérieure des Sciences et Techniques de l’Information et de la Communication (ESSTIC) Université de Yaoundé II
25 Faculté des Sciences Juridiques et Politiques (FSJP) Université de Douala
26 Ecole Normale Supérieure (ENS) Université de Yaoundé I
27 Faculté des Arts, Lettres et Sciences Humaines (FALSH) Université de Yaoundé I
28 Faculté des Sciences Juridiques et Politiques (FSJP) Université de Yaoundé II
26 Faculté des Sciences Economiques et de Gestion (FSEG) Université de Yaoundé II
30 Advanced School of Traduction and Interpretation (ASTI) University of Buea
31 Faculty of Social and Management Sciences (FSSM) University of Buea
32 Faculté des Sciences Economiques et de Gestion (FSEG) Université de Dschang
33 Faculty of Education (FE) University of Buea
34 Faculté des Arts, Lettres et Sciences Humaines (FALSH) Université de Ngaoundéré
35 Faculté de Médecine et des Sciences Pharmaceutiques (FMSP) Université de Douala
36 Ecole Nationale Supérieure Polytechnique (ENSP) Université de Yaoundé I
37 Faculté d’Agronomie et des Sciences Agricoles (FASA) Université de Dschang
38 Faculté des Lettres et des Sciences Humaines (FLSH) Université de Douala
39 Faculté des Sciences Juridiques et Politiques (FSJP) Université de Ngaoundéré
40 Faculté des Sciences Juridiques et Politiques (FSJP) Université de Dschang
41 Higher Teacher Training College (HTTC) University of Bamenda
   

source : MINESUP