Inverse Intersections for Boolean Satisfiability Problems. - Paul W. Homer (CoRR, 2025)