supporting the decrease-key operation. Joint work with Christian Mortensen.
View Document Edit History