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: idioma: Inglês remover ScienceDirect Additional Titles remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
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
Minimum-Energy Broadcast and disk cover in grid wireless networks
Minimum-Energy Broadcast and disk cover in grid wireless networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Minimum-Energy Broadcast and disk cover in grid wireless networks

Calamoneri, Tiziana ; Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Silvestri, Riccardo

Theoretical computer science, 2008-06, Vol.399 (1), p.38-53 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
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
7
On the bounded-hop MST problem on random Euclidean instances
On the bounded-hop MST problem on random Euclidean instances
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the bounded-hop MST problem on random Euclidean instances

Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Rossi, Gianluca ; Silvestri, Riccardo

Theoretical computer science, 2007-10, Vol.384 (2), p.161-167 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.