TAOCP 7.2.2.2 Exercise 247
You've hit your limit.
Section 7.2.2.2: Satisfiability
Exercise 247. [18] [18] Apply variable elimination to just five of the six clauses (112), omitting $\overline{1}\overline{2}$.
Verified: no
Solve time: 4m04s
You've hit your limit. Please try again later.