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
 
Konferenzbeitrag - Full-Paper Contribution
de
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

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

29
checked on May 1, 2023

Google ScholarTM

Check