Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara

Browse the full WALCOM paper archive.