// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding.

Neng-Fa Zhou, Roman Bartk

Browse the full ICLP paper archive.