Alice Petrov

According to our database¹, Alice Petrov authored at least 2 papers in 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Automated Planning Techniques for Elementary Proofs in Abstract Algebra.

[BibT_eX]

[DOI]

CoRR, 2023

PARIS: Planning Algorithms for Reconfiguring Independent Sets.

[BibT_eX]

[DOI]

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