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 2 3 Resultados 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
31
Strategies for the continuity of the historical city: the denied maintenance approach
Strategies for the continuity of the historical city: the denied maintenance approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strategies for the continuity of the historical city: the denied maintenance approach

Massimo Lauria ; Maria Azzalin

Agathón (Online), 2017-06, Vol.1 (online) [Periódico revisado por pares]

Palermo University Press

Texto completo disponível

Citações Citado por
32
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
33
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
34
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
35
On the Automatizability of Polynomial Calculus
On the Automatizability of Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Automatizability of Polynomial Calculus

Galesi, Nicola ; Lauria, Massimo

Theory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
36
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
37
A rank lower bound for cutting planes proofs of Ramsey Theorem
A rank lower bound for cutting planes proofs of Ramsey Theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A rank lower bound for cutting planes proofs of Ramsey Theorem

Lauria, Massimo

Electronic colloquium on computational complexity, 2012 (124)

Texto completo disponível

Citações Citado por
38
The complexity of proving that a graph is Ramsey
The complexity of proving that a graph is Ramsey
Material Type:
Artigo 		Adicionar ao Meu Espaço

The complexity of proving that a graph is Ramsey

Lauria, Massimo ; Pudlák, Pavel ; Rödl, Vojtěch ; Thapen, Neil

Combinatorica (Budapest. 1981), 2017-04, Vol.37 (2), p.253-268 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
39
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
40
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
previous page 1 2 3 Resultados 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (62)
  2. Revistas revisadas por pares (47)

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (10)
  3. 2013Até2015  (14)
  4. 2016Até2019  (17)
  5. Após 2019  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (66)
  2. Italiano  (8)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.