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
previous page 1 Resultados 2
Mostrar Somente
Refinado por: assunto: Lower Bounds remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases

Lauria, Massimo ; Nordström, Jakob

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
12
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
13
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tight Size-Degree Bounds for Sums-of-Squares Proofs

Lauria, Massimo ; Nordström, Jakob

arXiv.org, 2015-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
14
Clique Is Hard on Average for Regular Resolution
Clique Is Hard on Average for Regular Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clique Is Hard on Average for Regular Resolution

Atserias, Albert ; Bonacina, Ilario ; de Rezende, Susanna F ; Lauria, Massimo ; Nordström, Jakob ; Razborov, Alexander

arXiv.org, 2020-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
15
Narrow Proofs May Be Maximally Long
Narrow Proofs May Be Maximally Long
Material Type:
Artigo 		Adicionar ao Meu Espaço

Narrow Proofs May Be Maximally Long

Atserias, Albert ; Lauria, Massimo ; Nordström, Jakob

arXiv.org, 2014-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
16
From Small Space to Small Width in Resolution
From Small Space to Small Width in Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Small Space to Small Width in Resolution

Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ; Vinyals, Marc

arXiv.org, 2014-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
17
The complexity of proving that a graph is Ramsey
The complexity of proving that a graph is Ramsey
Material Type:
Artigo 		Adicionar ao Meu Espaço

The complexity of proving that a graph is Ramsey

Lauria, Massimo ; Pudlák, Pavel ; Rödl, Vojtěch ; Thapen, Neil

arXiv.org, 2013-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (16)
  2. Revistas revisadas por pares (10)

Data de Publicação 

De até
Refinar
  1. Antes de2012  (2)
  2. 2012Até2013  (5)
  3. 2014Até2015  (4)
  4. 2016Até2020  (4)
  5. Após 2020  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.