Min-max linear programming and the timing analysis of digital circuits | IEEE Conference Publication | IEEE Xplore