Algorithms & Complexity Results for Input & Unit Resolution