On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract)

Adnan Darwiche, Pierre Marquis