Knowledge Processing and Information Systems
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

@inproceedings{DBLP:conf/birthday/GebserKOS14,
  author = {Gebser, Martin and Kaminski, Roland and Obermeier, Philipp and Schaub, Torsten},
  title = {Ricochet Robots Reloaded: {A} Case-Study in Multi-shot {ASP} Solving},
  booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation},
  series = {Lecture Notes in Computer Science},
  volume = {9060},
  pages = {17--32},
  publisher = {Springer},
  year = {2015}
}