3 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
Refinado por:
assunto:
Resolution
Clique
Clique
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Cliques enumeration and tree-like resolution proofsLauria, MassimoInformation processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Tight Size-Degree Bounds for Sums-of-Squares ProofsLauria, Massimo ; Nordström, JakobComputational complexity, 2017-12, Vol.26 (4), p.911-948 [Periódico revisado por pares]Cham: Springer International PublishingTexto 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 |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Mathematics (2)
- Lower Bounds (2)
- Computer Science, Information Systems (2)
- Computer Science, Theory & Methods (2)
- Computer Science, Software Engineering (1)
- Computational Mathematics And Numerical Analysis (1)
- Computer Science, Hardware & Architecture (1)
- Arches (1)
- Algorithm Analysis And Problem Complexity (1)
- Calculus (1)
- Algorithms (1)
- Average Complexity (1)
- Datavetenskap (1)
- Computer And Information Science (1)
- Data- Och Informationsvetenskap (1)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (3)
- Springer Nature - Springer Journals All 2022 (1)
- Gale Academic OneFile (Gale Reference Complete) (1)
- ScienceDirect (1)
- Computers and Applied Sciences Complete (1)
- Business Source Complete (1)
- ACM Digital Library (1)
- SpringerLink (Online service) (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 