Implicit Computation of Filtered Prime Implicants

Edward Liem, Clemens Dubslaff

Prime implicants (PIs) are central in computer science, with applications in logic minimization, diagnosis, explainable formal methods and AI. Algorithms for the computation of PIs…