Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen. Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. In Michael Hanus, Daniela Inclezan, editors, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Volume 13880 of Lecture Notes in Computer Science, pages 279-294, Springer, 2023. [doi]
Abstract is missing.