Logic-Based Encodings for Ricochet Robots

Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce. Logic-Based Encodings for Ricochet Robots. In Eugénio Oliveira, João Gama, Zita A. Vale, Henrique Lopes Cardoso, editors, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Volume 10423 of Lecture Notes in Computer Science, pages 657-669, Springer, 2017. [doi]

Abstract

Abstract is missing.