Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Milad Saadat
conf.researchr.org general profile
ATVA 2025 profile
Not registered as user
Name:
Milad Saadat
Country:
Iran
Affiliation:
Sharif University of Technology, Iran
Contributions
2025
ATVA
Author of PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper) within the ATVA Papers-track
Share
x
Sun 26 Oct 08:12