01IP and QUBO: Optimization Methods for Redundancy Allocation in Complex Systems | IEEE Conference Publication | IEEE Xplore