Book_About_Quadratization
Book_About_Quadratization copied to clipboard
Tasks for Ruby
- [x] need an example for negative term FGBZ
- [x] "In combination with \ref{subsec:Negative-Monomial-Reduction}, it can reduce $t$ positive terms of degree $k$ in $n$ variables using $n+t(k-1)$ auxiliary variables in the worst case." applies to positive-term FGBZ, but needs to be modified for negative-term FGBZ.
- [x] Summary and Example sections need to be re-done from scratch for Pairwise Covers