Rework resolution, calculus and np-complete sections