using alloy to model an algorithm that finds the shortest p published presentations and documents on DocSlides.