Arnaud Gotlieb

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

ORCID: 0000-0002-8980-7585

Certus Software V&V Center, SIMULA Research Laboratory, 1364 Fornebu, Norway

Publications

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