Disjunctive closures for knowledge compilation. - Fargier, Hélène; Marquis, Pierre (Artif. Intell., 2014)