Bounded Combinatorial Reconfiguration with Answer Set Programming