@inproceedings{DBLP:conf/walcom/YamadaBISU24,
  title = {Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis},
  author = {Yamada, Yuya and Banbara, Mutsunori and Inoue, Katsumi and Schaub, Torsten and Uehara, Ryuhei},
  booktitle = {{WALCOM}},
  pages = {242--256},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {14549},
  year = {2024}
}