Login / Signup
Thomas Seed
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Bit Vectors
Numerically Stable
Top Venues
SAT
SAS
</>
Publications
</>
Thomas Seed
,
Chris Coppins
,
Andy King
,
Neil Evans
Polynomial Analysis of Modular Arithmetic.
SAS
(2023)
Thomas Seed
,
Andy King
,
Neil Evans
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.
SAT
(2020)