Efficient SMT Encodings for the Petrobras Domain (0)

by M Bofill, J Espasa, M Villaret
Venue:In Proceedings of the 13th International Workshop on Constraint Modelling and Reformulation (ModRef 2014