1
Assuntos:
“...Teoria do Módulo de Satisfabilidade...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação