Julie Cailler
Orcid: 0000-0002-6665-8089
According to our database1,
Julie Cailler
authored at least 6 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
4
5
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR, 2024
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Automated Technology for Verification and Analysis, 2024
2023
Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic. (Conception d'un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre).
PhD thesis, 2023
2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022