Thomas Seed

According to our database¹, Thomas Seed authored at least 3 papers between 2020 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Polynomial Analysis of Modular Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 30th International Symposium, 2023

2021

Program verification using polynomials over modular arithmetic

[BibT_eX]

[DOI]

PhD thesis, 2021

2020

Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020