Automated reasoning on monotonic constraints.

Lucas Bordeaux, Frdric Benhamou

Browse the full ICTAI paper archive.