Alice Petrov

According to our database, Alice Petrov authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Tangent Blow-Ups for Processing Non-Manifold Geometry.

Alice Petrov, Mohammad Sina Nabizadeh, Ana Dodik, Justin M. Solomon

CoRR, May, 2026

2023

Automated Planning Techniques for Elementary Proofs in Abstract Algebra.

Alice Petrov, Christian Muise

CoRR, 2023

PARIS: Planning Algorithms for Reconfiguring Independent Sets.

Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023