Alice Petrov

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Heuristic Search

Automated Planning

Top Venues

Publications

Alice Petrov, Christian Muise
Automated Planning Techniques for Elementary Proofs in Abstract Algebra. CoRR (2023)
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI (2023)