Using Answer Set Programming for HPC Dependency Solving.

Todd Gamblin, Massimiliano Culpo, Gregory Becker, Sergei Shudler

Browse the full SC paper archive.