On the complexity of Hilbert refutations for partition
S. Margulies‚ S. Onn and D. V. Pasechnik
ISSN
0747−7171
Journal
J. Symbolic Comput.
MR Number
3229920
Pages
70–83
Volume
66
Year
2015
S. Margulies‚ S. Onn and D. V. Pasechnik