Numeric Bounds Analysis with Conflict-Driven Learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig

Browse the full TACAS paper archive.