(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Browse the full LPAR paper archive.