Todd Gamblin, Massimiliano Culpo, Gregory Becker, Sergei Shudler. Using Answer Set Programming for HPC Dependency Solving. In SC22: International Conference for High Performance Computing, Networking, Storage and Analysis, Dallas, TX, USA, November 13-18, 2022. pages 1-15, IEEE, 2022. [doi]
Abstract is missing.