AMO-Aware Optimization in Answer Set Programming ★
This work introduces amomaximize, a novel maximization statement that integrates AMO constraints directly into the objective function, and shows that, in specific scenarios, this approach improves performance compared to clingo.