Aina Niemetz

  1. Title:
    From Local Search to Quantifier Elimination for Bit-Vectors in SMT

    Speaker:

    Link: