@inproceedings{DBLP:conf/jelia/YamadaBIS23, title = {Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming}, author = {Yamada, Yuya and Banbara, Mutsunori and Inoue, Katsumi and Schaub, Torsten}, booktitle = {{JELIA}}, pages = {278--286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {14281}, year = {2023} }