類似資料

• Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
  著者:: de Rezende, Susanna F., 等
  出版事項: (2019)
• Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
  著者:: de Rezende, Susanna F., 等
  出版事項: (2024)
• Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
  著者:: de Rezende, Susanna F., 等
  出版事項: (2026)
• On bounded depth proofs for Tseitin formulas on the grid; revisited
  著者:: Håstad, Johan, 等
  出版事項: (2022)
• Supercritical Tradeoffs for Monotone Circuits
  著者:: Göös, Mika, 等
  出版事項: (2024)