Représentations compactes des graphes et contraintes pseudo booléennes

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Représentations compactes des graphes et contraintes pseudo booléennes. In Marie-Christine Rousset, Lydia Boudjeloud-Assala, editors, Extraction et Gestion des connaissances, EGC 2019, Metz, France, January 21-25, 2019. Volume E-35 of RNTI, pages 407-412, Hermann-Éditions, 2019. [doi]

Abstract

Abstract is missing.