PARIS: Planning Algorithms for Reconfiguring Independent Sets. - Remo Christen; Salomé Eriksson; Michael Katz 001; Christian Muise; Alice Petrov; Florian Pommerening; Jendrik Seipp; Silvan Sievers; David Speck 001 (ECAI, 2023)

Automated Planning Techniques for Elementary Proofs in Abstract Algebra. - Alice Petrov; Christian Muise (CoRR, 2023)