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]

No reviews for this publication, yet.