시스템 신뢰도 설계시 정수계획법의 해를 구하기 위한 효율적인 해법절차 ( An Efficient Algorithm To Solve Integer-Programming Problems Arising In System-Reliability Design )