Bounded Combinatorial Reconfiguration with Answer Set Programming

Open in new window