Source: http://www.itu.dk/people/jcg/IPDM/solutionLogic.pdf