8 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
Refinado por:
assunto:
Algorithms
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Verification and generation of unrefinable partitionsAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoInformation processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 2 |
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
Material Type: Artigo
|
|
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer gamesBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInformation processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Circular (Yet Sound) ProofsAtserias, Albert ; Lauria, MassimoarXiv.org, 2018-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Verification and generation of unrefinable partitionsAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoarXiv.org, 2021-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Clique Is Hard on Average for Regular ResolutionAtserias, Albert ; Bonacina, Ilario ; de Rezende, Susanna F ; Lauria, Massimo ; Nordström, Jakob ; Razborov, AlexanderarXiv.org, 2020-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Science (5)
- Science & Technology (5)
- Technology (5)
- Lower Bounds (4)
- Mathematics (3)
- Proof Complexity (3)
- Computer Science, Information Systems (3)
- Computer Science, Theory & Methods (3)
- Resolution (3)
- Prover-Delayer Games (2)
- Graph Theory (2)
- Games (2)
- Polynomials (2)
- Studies (2)
- Asymmetry (1)
- Algebra (1)
- Applied Sciences (1)
- Automation (1)
- Algorithmics. Computability. Computer Arithmetics (1)
-
Mais opções
Data de Publicação
- Antes de2010 (1)
- 2010Até2012 (2)
- 2013Até2017 (1)
- 2018Até2020 (2)
- Após 2020 (3)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (5)
- ROAD: Directory of Open Access Scholarly Resources (3)
- arXiv.org (3)
- EBSCOhost Computers and Applied Sciences Complete (3)
- Open Access: Freely Accessible Journals by multiple vendors (3)
- ACM Digital Library Complete (2)
- Business Source Complete - EBSCO (2)
- ScienceDirect Journals (2)
- Academic Search Premier (1)
- Springer Journals (Some 2024 issues temporarily unavailable) (1)
- Springer Nature - Springer Journals All 2022 (1)
- Gale Academic OneFile (Gale Reference Complete) (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 