Eliminating clauses from a CNF formula based on their unsatisfying truth assignments being covered by some other clause
What you're describing is called subsumption; it is a standard CNF simplification technique for SAT solvers.  None of the operations involved is worse than quadratic to either the number of variables or number of clauses in the formula.