Split Gröbner Bases for Satisfiability Modulo Finite Fields

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig. Split Gröbner Bases for Satisfiability Modulo Finite Fields. IACR Cryptology ePrint Archive, 2024:572, 2024. [doi]

Abstract

Abstract is missing.