@inproceedings{BofillEV14modref,
	Address = {Lyon, France},
	Author = {Miquel Bofill and Joan Espasa and Mateu Villaret},
	Booktitle = {Proceedings of the 13th International Workshop on Constraint Modelling and Reformulation (ModRef 2014)},
	Month = {September},
	Pages = {68--84},
	Title = {Efficient SMT Encodings for the Petrobras Domain},
	Year = {2014}}