Roberto Bagnara

1 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0002-6163-6278

Publications

• Exploiting Binary Floating-Point Representations for Constraint Propagation — INFORMS Journal on Computing 2016