yazid Boumarafi, Lakhdar Saïs, yakoub Salhi. From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'17), 2017, Maun, Botswana. pp.286-299.
⟨hal-03300226⟩