Login / Signup
Warren A. Hunt Jr.
Publication Activity (10 Years)
Years Active: 1987-2022
Publications (10 Years): 8
Top Topics
Theorem Prover
Boolean Optimization
Natural Language Learning
Symmetry Breaking
Top Venues
ITP
CADE
ACL2
FMCAD
</>
Publications
</>