All Stories

  1. Exploiting Binary Floating-Point Representations for Constraint Propagation

    Article • INFORMS Journal on Computing, February 2016, INFORMS

    Roberta gori, Prof. Roberto Bagnara