Completeness of idempotent semifields and a generalization of the linear extension theorem in max-plus algebra | IEEE Conference Publication | IEEE Xplore