skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Electronic Colloquium On Computational Complexity remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A rank lower bound for cutting planes proofs of Ramsey Theorem
A rank lower bound for cutting planes proofs of Ramsey Theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A rank lower bound for cutting planes proofs of Ramsey Theorem

Lauria, Massimo

Electronic colloquium on computational complexity, 2012 (124)

Texto completo disponível

Citações Citado por
2
A Characterization of Tree-Like Resolution Size
A Characterization of Tree-Like Resolution Size
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Characterization of Tree-Like Resolution Size

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Electronic colloquium on computational complexity, 2012 (161)

Texto completo disponível

Citações Citado por
3
Space Complexity in Polynomial Calculus
Space Complexity in Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Space Complexity in Polynomial Calculus

Filmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ; Ron-Zewi, Noga ; Thapen, Neil

Electronic colloquium on computational complexity, 2012 (132)

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Assunto 

  1. Resolution  (2)
  2. Proof Complexity  (2)
  3. Space  (1)
  4. Polynomial Calculus  (1)
  5. Prover-Delayer Games  (1)
  6. K-Cnf Formulas  (1)
  7. Rank  (1)
  8. Cutting Planes  (1)
  9. Ramsey  (1)
  10. Pcr  (1)
  11. Lower Bounds  (1)
  12. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.