Announcement_7

Created on June 11, 2024

2024

I am excited to announce that my paper titled “PolyQEnt: A Polynomial Quantified Entailment Solver” has been accepted at ATVA’25.