Priority queues with variable priority and an O(EV log V) algorithm for finding a maximal weighted matching in general graphs | IEEE Conference Publication | IEEE Xplore