Degree complexity for a modified pigeonhole principle

DOI10.1007/s001530200141zbMath1026.03044OpenAlexW2023788599MaRDI QIDQ1407601

Nicola Galesi, Maria Luisa Bonet

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530200141

zbMATH Keywords

resolutionpolynomial calculusdegree lower boundmodified pigeonhole principleresolution upper bound

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Complexity of proofs (03F20)

This page was built for publication: Degree complexity for a modified pigeonhole principle