Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Open in new window