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: Resolution remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
Material Type:
Artigo 		Adicionar ao Meu Espaço

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Information processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

ACM

Texto completo disponível

Citações Citado por
13
Parameterized Bounded-Depth Frege Is not Optimal
Parameterized Bounded-Depth Frege Is not Optimal
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Bounded-Depth Frege Is not Optimal

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo ; Razborov, Alexander A

ACM transactions on computation theory, 2012-09, Vol.4 (3), p.1-16 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
14
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
15
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
previous page 1 Resultados 2

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (14)
  2. Revistas revisadas por pares (13)

Data de Publicação 

De até
Refinar
  1. Antes de2012  (2)
  2. 2012Até2014  (5)
  3. 2015Até2016  (4)
  4. 2017Até2021  (4)
  5. Após 2021  (1)
  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.