Nick J. Hay

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 9

Top Topics

Theorem Proving

Artificially Intelligent

Parallel Search

Computer Algebra

Top Venues

Informatica (Slovenia)

SAFECOMP Workshops

Publications