Verification of Multi-layered Assignment Problems.

Barak Steindl, Meirav Zehavi

Browse the full EUMAS paper archive.