External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Thomas Seed, Andy King, Neil Evans. Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 361-377, Springer, 2020. [doi]

Authors

Thomas Seed

This author has not been identified. Look up 'Thomas Seed' in Google

Andy King

This author has not been identified. Look up 'Andy King' in Google

Neil Evans

This author has not been identified. Look up 'Neil Evans' in Google
runs on