The complexity of two-level logic minimization