Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF(2) via SAT-solvers (2007)

First Author: G Bard
Attributed to:  Groebner Basis Techniques for Constraint Satisfaction Problems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract