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 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ScienceDirect (Online service) 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
Upper bounds on positional Paris–Harrington games
Upper bounds on positional Paris–Harrington games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Upper bounds on positional Paris–Harrington games

Carlucci, Lorenzo ; Lauria, Massimo

Discrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [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
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
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
Analytical methods for series compensation of a transmission line
Analytical methods for series compensation of a transmission line
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analytical methods for series compensation of a transmission line

Massimo Gatta, Fabio ; Lauria, Davide ; Quaia, Stefano ; Lauria, Stefano

International journal of electrical power & energy systems, 2023-02, Vol.145, p.108647, Article 108647 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
8
Advances in HV transmission systems
Advances in HV transmission systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Advances in HV transmission systems

Calcara, Luigi ; Codino, Asia ; Lauria, Stefano ; Pompili, Massimo

Electric power systems research, 2018-10, Vol.163, p.523-523 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (106)

Data de Publicação 

De até
Refinar
  1. Antes de1998  (9)
  2. 1998Até2007  (13)
  3. 2008Até2012  (29)
  4. 2013Até2018  (32)
  5. Após 2018  (29)
  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.