Centre de Recherche en Informatique de Lens

Long Guo

Doctorant

• Tel. : poste 80 09
• Courriel : guo@cril.univ-artois.fr
• Page perso : http://www.cril.univ-artois.fr/~guo

Axe(s) de recherche

• Algorithmes pour l'inférence et contraintes

Communication(s) dans des conférences d'audience internationale avec publication des actes

Guo Long, Hamadi Youssef, Jabbour Saïd, Saïs Lakhdar,
Diversification and Intensification in Parallel SAT Solving,
dans 16th International Conference on Principles and Practice of Constraint Programming (CP'10), Springer, pp. 252-265, septembre 2010. [Télécharger] [BibTeX...]

Communication(s) dans des conférences d'audience nationale

Guo Long, Jabbour Saïd, Saïs Lakhdar,
Stratégies d'élimination des clauses apprises dans les solveurs SAT modernes,
dans 9èmes Journées Francophones de Programmation par Contraintes (JFPC'13), pp. (To appear), 2013. [BibTeX...]