BOOK-CHAPTER

Lower bounds on Nullstellensatz proofs via designs

Samuel R. Buss

Year: 1997 DIMACS series in discrete mathematics and theoretical computer science Pages: 59-71
Keywords:
Mathematical proof Mathematics Computer science Geometry

Metrics

27
Cited By
1.00
FWCI (Field Weighted Citation Impact)
4
Refs
0.70
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Complexity and Algorithms in Graphs
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
graph theory and CDMA systems
Physical Sciences →  Engineering →  Electrical and Electronic Engineering
Advanced Graph Theory Research
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs

Paul BeameRussell ImpagliazzoJan Krajı́čekToniann PitassiPavel Pudlák

Journal:   Proceedings of the London Mathematical Society Year: 1996 Vol: s3-73 (1)Pages: 1-26
JOURNAL ARTICLE

Models of lower-bounds proofs

Р. Г. Нигматуллин

Journal:   Theoretical Computer Science Year: 1987 Vol: 52 (3)Pages: 239-249
BOOK-CHAPTER

Nullstellensatz-Proofs for Multiplier Verification

Daniela KaufmannArmin Biere

Lecture notes in computer science Year: 2020 Pages: 368-389
JOURNAL ARTICLE

Simplified Lower Bounds for Propositional Proofs

Xudong FuAlasdair Urquhart

Journal:   Notre Dame Journal of Formal Logic Year: 1996 Vol: 37 (4)
© 2026 ScienceGate Book Chapters — All rights reserved.