Skip to content

A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints.

Pavel Surynek

VenueBSoCS
Year2012
ProceedingsSOCS

Browse the full SoCS paper archive.