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: data de publicação: 2013Até2015 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
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
3
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
4
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

Insurance, mathematics & economics, 2013-09, Vol.113 (18), p.666 [Periódico revisado por pares]

Amsterdam: Elsevier Sequoia S.A

Texto completo disponível

Citações Citado por
5
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
6
Operational tools for maintenance and renewal of school buildings patrimony
Operational tools for maintenance and renewal of school buildings patrimony
Material Type:
Artigo 		Adicionar ao Meu Espaço

Operational tools for maintenance and renewal of school buildings patrimony

Massimo Lauria ; Luciana Milazzo ; Cherubina Modaffari

Techne (Florence, Italy : 2011), 2015-04 (9) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

Citações Citado por
7
Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony
Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony

Lauria, Massimo ; Milazzo, Luciana ; Modaffari, Cherubina

Techne (Florence, Italy : 2011), 2015-01, Vol.9, p.288 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
8
Short $\mathsf{Res}^(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations
Short $\mathsf{Res}^(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Short $\mathsf{Res}^(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations

Lauria, Massimo

2013-10

Texto completo disponível

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

arXiv.org, 2015-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Operational tools for maintenance and renewal of school buildings patrimony/ Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico
Operational tools for maintenance and renewal of school buildings patrimony/ Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico
Material Type:
Artigo 		Adicionar ao Meu Espaço

Operational tools for maintenance and renewal of school buildings patrimony/ Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico

Lauria, Massimo ; Milazzo, Luciana ; Modaffari, Cherubina

TECHNE. Journal of Technology for Architecture and Environment, 2015-06 (9), p.288

Firenze University Press

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11)
  2. Revistas revisadas por pares (7)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.