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
Mostrar Somente
Refinado por: assunto: Lower Bounds remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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

Journal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

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

ACM

Texto completo disponível

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

Information processing letters, 2013-09, Vol.113 (18), p.666-671 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Parameterized Complexity of DPLL Search Procedures
Parameterized Complexity of DPLL Search Procedures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Complexity of DPLL Search Procedures

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

ACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-21 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
8
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
9
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
Material Type:
Artigo 		Adicionar ao Meu Espaço

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares

Bonacina, Ilario ; Galesi, Nicola ; Lauria, Massimo

Computational complexity, 2023-12, Vol.32 (2), Article 12 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

Carlucci, Lorenzo ; Galesi, Nicola ; Lauria, Massimo

ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-25 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por

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.