Nuovo risolutore unifica problemi di ottimizzazione tramite riduzione MaxSAT

I ricercatori hanno sviluppato GORED, un risolutore di ottimizzazione generale che riduce diversi problemi di ottimizzazione a istanze MaxSAT in tempo polinomiale. Il metodo, chiamato riduzione OP-to-MaxSAT, consente a un singolo risolutore di gestire 11 tipi di problemi su 136 istanze di test. I risultati mostrano soluzioni paragonabili a quelle di algoritmi specializzati. Il lavoro mira a superare la limitata generalità degli attuali algoritmi di ottimizzazione, tipicamente progettati per domini specifici.