Announcement_8
I am honored to share that my paper, “PolyQEnt: A Polynomial Quantified Entailment Solver”, has received the Distinguished Tool Paper Award at ATVA’25.
I am honored to share that my paper, “PolyQEnt: A Polynomial Quantified Entailment Solver”, has received the Distinguished Tool Paper Award at ATVA’25.