Computing Horn Strong Backdoor Sets Thanks to Local Search.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Browse the full ICTAI paper archive.