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: assunto: Resolution remover Polynomial Calculus remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
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

SIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
3
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

ACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-15 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
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

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

Buscando em bases de dados remotas. Favor aguardar.