No. Title Author Year
1 Polynomial Calculus for MaxSAT Bonacina, Ilario et al. 2023
2 On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares Bonacina, Ilario et al. 2022
3 Total Space in Resolution Is at Least Width Squared Bonacina, Ilario 2016
4 Strong ETH and Resolution via Games and the Multiplicity of Strategies Bonacina, Ilario et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI