Nicolas Rühling, Torsten Schaub, Tobias Stolzmann. Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. In José-Miguel Horcas, José Angel Galindo, Richard Comploi-Taupe, Lidia Fuentes, editors, Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), Málaga, Spain, September 6-7, 2023. Volume 3509 of CEUR Workshop Proceedings, pages 85-94, CEUR-WS.org, 2023. [doi]
Abstract is missing.