Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.

Carlo A. Furia, Paola Spoletini

Browse the full ICTAC paper archive.