Accéder directement au contenu
JL

Jerry LONLAC KONLAC

Maître de Conférences
8
Documents
Affiliations actuelles
  • 1076753
Identifiants chercheurs
  • IdHAL jerry-lonlac
  • ORCID 0000-0003-3278-9969
  • Google Scholar : https://scholar.google.fr/citations?user=j_H75U8AAAAJ
Contact

Présentation

My scientific work relates to Artificial Intelligence including Data Mining, Machine Learning, Explainability and Boolean Satisfiability (SAT).

Domaines de recherche

Intelligence artificielle [cs.AI] Apprentissage [cs.LG]

Compétences

Recherche scientifique Fouille de données Apprentissage machine Explicabilité Solveurs de contraintes

Publications

"lakhdar-sais"

Mining Gradual Itemsets Using Sequential Pattern Mining

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jun 2019, New Orleans, United States. pp.1-6, ⟨10.1109/FUZZ-IEEE.2019.8858864⟩
Communication dans un congrès hal-03600347v1

Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13), 2013, Leavenworth, United States. pp.66-72
Communication dans un congrès hal-00875416v1

Extending Resolution by Dynamic Substitution of Boolean Functions

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.1029-1034
Communication dans un congrès hal-00865574v1
Image document

Résolution Etendue par Substitution Dynamique des Fonctions Booléennes

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
JFPC, May 2012, Toulouse, France
Communication dans un congrès hal-00820039v1

Intensification Search in Modern SAT Solvers

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.491-492
Communication dans un congrès hal-00865581v1

Intensification Search in Modern SAT Solvers

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, Toulouse, France. pp.156-159
Communication dans un congrès hal-00869900v1
Image document

Intensification de la Recherche dans les Solveurs SAT Modernes

Said Jabbour , Jerry Lonlac , Lakhdar Saïs
JFPC, May 2012, Toulouse, France
Communication dans un congrès hal-00820038v1