BZPEER

Drag to move · Scroll or pinch to zoom · Select a node for details

Massimo Lauria

Researcher

PaperThe complexity of proving that a graph is RamseyAuthorship / preprint / 2013 PaperShort $\mathsf{Res}^*(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutationsAuthorship / preprint / 2013 PaperTight Size-Degree Bounds for Sums-of-Squares ProofsAuthorship / preprint / 2015 PaperFrom Small Space to Small Width in ResolutionAuthorship / preprint / 2014 PaperNarrow Proofs May Be Maximally LongAuthorship / preprint / 2014 PaperVerification and generation of unrefinable partitionsAuthorship / preprint / 2023 PaperOn the maximal part in unrefinable partitions of triangular numbersAuthorship / preprint / 2022