The top documents tagged [residual formula]

Provably hard problems below the satisfiability threshold
Documents Provably hard problems below the satisfiability threshold

47 views