@misc{misce4525e9e,
title   = {SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências},
author = {Carvalho, Yuri Castro Neo de and Figueiredo, Orlando de Andrade},
year = {2019}
}