Linear gaps between degrees for the polynomial calculus modulo distinct primes (Q5943090)
From MaRDI portal
scientific article; zbMATH DE number 1642218
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear gaps between degrees for the polynomial calculus modulo distinct primes |
scientific article; zbMATH DE number 1642218 |
Statements
Linear gaps between degrees for the polynomial calculus modulo distinct primes (English)
0 references
24 March 2002
0 references
mod \(p\) counting principle
0 references
satisfiability
0 references
lower bounds
0 references
minimum degree of polynomial calculus refutations
0 references
Tseitin's graph tautologies
0 references
Gröbner basis algorithm
0 references