Diameter-constrained K-reliability evaluation: complexity and heuristics. (1st January 2014)