9 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (8)
Refinado por:
Base de dados/Biblioteca:
Computers & Applied Sciences Complete
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Circular (Yet Sound) Proofs in Propositional LogicAtserias, Albert ; Lauria, MassimoACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Narrow Proofs May Be Maximally LongAtserias, Albert ; Lauria, Massimo ; Nordström, JakobACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Clique Is Hard on Average for Regular ResolutionAtserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ; Lauria, Massimo ; Nordström, Jakob ; Razborov, AlexanderJournal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Parameterized Complexity of DPLL Search ProceduresBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-21 [Periódico revisado por pares]ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Optimality of size-degree tradeoffs for polynomial calculusGalesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2010-10, Vol.12 (1), p.1-22 [Periódico revisado por pares]ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey TautologiesCarlucci, Lorenzo ; Galesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-25 [Periódico revisado por pares]ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
On the Automatizability of Polynomial CalculusGalesi, Nicola ; Lauria, MassimoTheory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares]New York: Springer-VerlagTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Space Complexity in Polynomial CalculusFilmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ; Ron-Zewi, Noga ; Thapen, NeilSIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153 [Periódico revisado por pares]Sem texto completo |
| 9 |
Material Type: Artigo
|
|
From Small Space to Small Width in ResolutionFilmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ; Vinyals, MarcACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-15 [Periódico revisado por pares]ACMTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (8)
Refinar Meus Resultados
Assunto
- Proof Complexity (8)
- Resolution (7)
- Logic (6)
- Science & Technology - Other Topics (6)
- Lower Bounds (5)
- Polynomial Calculus (5)
- Mathematics (3)
- Pcr (3)
- Polynomial Calculus Resolution (3)
- Algorithms (3)
- Combinatorial Analysis (2)
- Degree (2)
- Complexity (2)
- Calculus (2)
- Computation (2)
- Computational Complexity (2)
-
Mais opções
Data de Publicação
- Antes de2010 (1)
- 2010Até2012 (2)
- 2013Até2014 (1)
- 2015Até2016 (4)
- Após 2016 (2)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (9)
- EBSCOhost Computers and Applied Sciences Complete (9)
- ACM Digital Library Complete (7)
- Business Source® Complete (3)
- EBSCOhost Academic Search Premier (2)
- Springer Nature - Complete Springer Journals (1)
- Springer Nature - Springer Journals All 2022 (1)
- Recercat (1)
- Gale Academic OneFile (1)
- LOCUS - SIAM's Online Journal Archive (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 