Text this: Um novo método de otimização baseado em teorias de satisfatibilidade