SOPRANOPublications
  • CP meets SMT, François Bobot, Sébastien Bardin, and Bruno Marre. Workshop CP meets Verification 2014 (CPCAV 2014)
  • Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers,Zakaria Chihani . Workshop CP meets Verification 2016
Home
Partners
Jobs
Delivrables
Meetings
Publications
Software
Private