selected publications conference paper Représentations compactes des graphes et contraintes pseudo booléennes. HAL (Le Centre pour la Communication Scientifique Directe). 2019