contact

Centre de Recherche en Informatique de Lens

CRIL CNRS UMR 8188

Rue Jean Souvraz

SP 18,

F 62307 Lens Cedex

Phone : (+33) 3 21 79 17 77

Fax : (+33) 3 21 79 17 70

Email:guo[at]cril[dots]fr

---

Research area

• Resolution of NP-Hard problems
• Propositional logic : models and algorithms
• Propositional Satisfiability (SAT)
• Parallel SAT
• MaxSAT

---

Publications

International Conferences

• Long Guo, Youssef Hamadi , Saïd Jabbour and Lakhdar Saïs , Diversification and Intensification in Parallel SAT Solving, in 16th International Conference on Principles and Practices of Constraint Programming (CP-10), St Andrews, Scotland, 2010.

---

Ressources

Some tools used during my research, availible for download

• ManySAT

  Description :

  For more information about our parallel SAT solver ManySAT, please go to this page: manysat home page
• LySAT

  Description :

  LySAT a sequential solver based on Minisat2.0.

  Download the source code lysat.tgz

---

Teaching Activities

2009 - 2010

• Document Numérique UC2

2010 - 2011

• Document Numérique UC2

• Langage Fonctionnel (scheme)

---

Links

• ManySAT home page
• CRIL Lens Computer Science Research Centre
• SAT Live a forum about everything you would want to know about SAT.
• sat competition official web site of SAT competition and results of the last years

---