Loading…
CP 2016 has ended
Conference [clear filter]
Wednesday, September 7
 

11:15

Testing and Verification Session
    See presentations
  • 11:15-11:40 Xiaojun Sun, Irina Ilioaea, Priyank Kalla and Florian Enescu. Finding Unsatisfiable Cores of a Set of Polynomials using the Groebner Basis Algorithm

  • 11:40-12:05 Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko and Michael Veksler. Using Graph-Based CSP to Solve the Address Translation Problem

Moderators
Speakers
YB

Yael Ben-Haim

IBM Research
avatar for Xiaojun Sun

Xiaojun Sun

University of Utah


Wednesday September 7, 2016 11:15 - 12:05
Grand Amphi Lascrosses building