An infrastructure for multi-level optimisation through property annotation and aggregation.

Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko

Browse the full MODELS paper archive.