Tom van Dijk

Workers in forests: developments in parallel decision diagrams