Représentations compactes des graphes et contraintes pseudo booléennes Conference Paper uri icon