R. E. Bodanese, J. A. De Oliveira, I. Scalabrin, e C. J. Mores, “ estudo de caso com utilização do solver”., ABC.