thiagoalvesifce / tcc-algoritmos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cacajr/tcc-algoritmos
Repositório criado para estudo e comparação dos algoritmos de modelagem baseadas no SAT: IMLI, A Existing SAT Model e An Alternative model.