On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

Open in new window