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
Mostrar Somente
Refinado por: assunto: Resolution 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
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
4
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
5
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
6
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
7
Clique Is Hard on Average for Regular Resolution
Clique Is Hard on Average for Regular Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clique Is Hard on Average for Regular Resolution

Atserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ; Lauria, Massimo ; Nordström, Jakob ; Razborov, Alexander

Journal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (14)
  2. Revistas revisadas por pares (13)

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

Buscando em bases de dados remotas. Favor aguardar.