An SMT Approach for Solving Polynomials over Finite Fields

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Thomas Hader and Laura Kovács

Journal title: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT)

Journal number: CEUR Workshop Proceedings, volume 3185

Journal publisher: CEUR-WS.org

Published year: 2022

Published pages: 90-98