No. |
Title |
Author |
Year |
---|

1 |
On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares |
Bonacina, Ilario et al. |
2022 |

2 |
The Power of Negative Reasoning |
de Rezende, Susanna F. et al. |
2021 |

3 |
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and GrÃ¶bner Bases |
Lauria, Massimo et al. |
2017 |

4 |
Semantic Versus Syntactic Cutting Planes |
Filmus, Yuval et al. |
2016 |

5 |
Tight Size-Degree Bounds for Sums-of-Squares Proofs |
Lauria, Massimo et al. |
2015 |

6 |
From Small Space to Small Width in Resolution |
Filmus, Yuval et al. |
2014 |

7 |
Hardness of Parameterized Resolution |
Beyersdorff, Olaf et al. |
2010 |