From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.

Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi

Browse the full LPAR paper archive.