Thomas Seed

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Polynomial Analysis of Modular Arithmetic.

Thomas Seed, Chris Coppins, Andy King, Neil Evans

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

2020

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

Thomas Seed, Andy King, Neil Evans

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