Ricochet Robots: A Transverse ASP Benchmark.

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Browse the full LPNMR paper archive.