Grant Passmore

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Constraint Databases

Variable Ordering

Quantifier Elimination

Functional Programming

Top Venues

Publications

John Hester, Briland Hitaj, Grant Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. CoRR (2023)