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: Proof Complexity remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
A note about k-DNF resolution
A note about k-DNF resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note about k-DNF resolution

Lauria, Massimo

Information processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Circular (Yet Sound) Proofs in Propositional Logic
Circular (Yet Sound) Proofs in Propositional Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Circular (Yet Sound) Proofs in Propositional Logic

Atserias, Albert ; Lauria, Massimo

ACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
4
On semantic cutting planes with very small coefficients
On semantic cutting planes with very small coefficients
Material Type:
Artigo 		Adicionar ao Meu Espaço

On semantic cutting planes with very small coefficients

Lauria, Massimo ; Thapen, Neil

Information processing letters, 2018-08, Vol.136, p.70-75 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem

Lauria, Massimo

ACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]

ACM

Texto completo disponível

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

Computational complexity, 2017-12, Vol.26 (4), p.911-948 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
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
9
Optimality of size-degree tradeoffs for polynomial calculus
Optimality of size-degree tradeoffs for polynomial calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Optimality of size-degree tradeoffs for polynomial calculus

Galesi, Nicola ; Lauria, Massimo

ACM transactions on computational logic, 2010-10, Vol.12 (1), p.1-22 [Periódico revisado por pares]

ACM

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 (15)

Data de Publicação 

De até
Refinar
  1. Antes de2010  (1)
  2. 2010Até2011  (3)
  3. 2012Até2012  (3)
  4. 2013Até2015  (4)
  5. Após 2015  (7)
  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.