Lydia Kondylidou

According to our database, Lydia Kondylidou authored at least 6 papers between 2025 and 2026.

Collaborative distances:

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

2026

Tao's Equational Proof Challenge Accepted (Technical Report).

Lydia Kondylidou, Jasmin Blanchette, Marijn J. H. Heule

CoRR, May, 2026

Artifact for Paper "Enumerating Choice Terms in Model-Based Quantifier Instantiation".

Lydia Kondylidou, Jasmin Christian Blanchette, Andrew Reynolds, Cesare Tinelli

Dataset, January, 2026

Artifact for Paper "Enumerating Choice Terms in Model-Based Quantifier Instantiation".

Lydia Kondylidou, Jasmin Christian Blanchette, Andrew Reynolds, Cesare Tinelli

Dataset, January, 2026

Tao's Equational Proof Challenge Accepted.

Lydia Kondylidou, Jasmin Christian Blanchette, Marijn Heule

Dataset, January, 2026

Enumerating Choice Terms in Model-Based Quantifier Instantiation.

Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette, Cesare Tinelli

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Augmenting Model-Based Instantiation with Fast Enumeration.

Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025