Jerry Lonlac Konlac View the directory of former members
Personal Data
- Poste 80 01 46
- lonlac@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~lonlac
Degree prepared or obtained while being at CRIL
- PhD thesis : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications 2014-10-03
Research Axis
- Constraints