Models and Algorithms for Computing Minimum-Size Prime Implicants