Constraint acquisition needs better benchmarks

Os benchmarks atuais para aquisição de restrições (CA) e modelos de programação matemática (MP) são inadequados, dificultando a reprodutibilidade e comparabilidade da pesquisa. Este trabalho apresenta o MPMMine, uma nova suíte de benchmarks projetada para validar e aprimorar modelos MP usando diversos artefatos de conhecimento de domínio, promovendo consistência e abertura.