https://1library.org/document/qokd125y-heuristicas-para-programacao-inteira-trajetorias-busca-factiveis-infactiveis.html