Logical Differential Constraints Based on Interval Boolean Tests.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Browse the full IFSA paper archive.