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
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
4
Cliques enumeration and tree-like resolution proofs
Cliques enumeration and tree-like resolution proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cliques enumeration and tree-like resolution proofs

Lauria, Massimo

Information processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
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
6
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
7
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
8
Verification and generation of unrefinable partitions
Verification and generation of unrefinable partitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification and generation of unrefinable partitions

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Information processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
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
10
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
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (20)

Data de Publicação 

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