Record link: 
http://hdl.handle.net/20.500.12708/144346
-
Title: 
An SMT Approach for Solving Polynomials over Finite Fields
en
Citation: 
Hader, T., & Kovacs, L. (2022). An SMT Approach for Solving Polynomials over Finite Fields. In Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories (SMT) (pp. 90–98).
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Hader, Thomas 
Kovacs, Laura 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories (SMT) 
-
Date (published): 
1-Aug-2022
-
Event name: 
SMT 2022: Satisfiability Modulo Theories 
en
Event date: 
11-Aug-2022 - 12-Aug-2022
-
Event place: 
Haifa, Israel
-
Number of Pages: 
9
-
Peer reviewed: 
Yes
-
Keywords: 
SMT; Automated Reasoning; Polynomial arithmetic
en
Project title: 
Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission) 
-
Link (external): 
http://smt-workshop.cs.uiowa.edu/2022/proceedings.shtml
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

194
checked on Nov 23, 2023

Google ScholarTM

Check