DMCA

Efficient SMT Encodings for the Petrobras Domain

Cached

Download Links

by Miquel Bofill , Joan Espasa , Mateu Villaret , Departament D’informàtica Matemàtica Aplicada
Venue:In Proceedings of the 13th International Workshop on Constraint Modelling and Reformulation (ModRef 2014
Citations:1 - 1 self