Return to Article Details
A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers
Download
Download PDF