CP 2016 has ended
Back To Schedule
Wednesday, September 7 • 11:15 - 12:05
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


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

Attendees (3)