Split Grbner Bases for Satisfiability Modulo Finite Fields.

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig

Browse the full CAV paper archive.