Loading…
CP 2016 has ended
Monday, September 5 • 09:35 - 10:00
CP meets Verification Workshop
    See presentations
  • 09h35-10h00: Mixing Polyedra and Boxes Abstract Domain for Constraint Solving, Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, Antoine Miné.

Moderators
Speakers
avatar for Marie Pelleau

Marie Pelleau

UPMC - Lip6


Monday September 5, 2016 09:35 - 10:00
B202 Bosco building

Attendees (3)