Recent Updates
- [16/02/2012]
- [28/03/2011]
- [17/06/2010]
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 ,
Jean-Marie Lagniez,
Dynamic polarity adjustment in a parallel SAT solver ,
in 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'11), november 2011.
[BibTeX] -
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.
[BibTeX]
National Conferences
-
Long Guo,
Jean-Marie Lagniez,
Ajustement dynamique de l'heuristique de polarité dans le cadre d'un solveur SAT parallèle,
in Septièmes Journées Francophones de Programmation par Contraintes (JFPC'11)
[BibTeX]
Ressources
Some tools used during my research, availible for download
-
MiniSAT
Description : For more information about SAT solver MiniSAT, please go to this page: minisat page
-
ManySAT
Description : For more information about our parallel SAT solver ManySAT, please go to this page: manysat home page
Back-Track-Level based Strategy
Description : BTL is a simple deletion strategy for learnt clauses database.
Download the source code integrated in Minisat2.2 minisat-BTL-SAT12.tgz
Download the source code integrated in Glucoe2.0 glucose-BTL-SAT12.tgz
Teaching Activities
2009 - 2010
- Document Numérique UC2
2010 - 2011
- Document Numérique UC2
- Langage Fonctionnel (scheme)
2011 - 2012
- Document Numérique UC2
- Langage Fonctionnel (python)
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