Lionel Paris, Richard Ostrowski, Lakhdar Saïs, Pierre Siegel. Computing Horn Strong Backdoor Sets Thanks to Local Search.
8th International Conference on Tools with Artificial Intelligence (ICTAI'06), 2006, Washington D.C., United States. pp.13--15.
⟨hal-03301137⟩