5 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A note about k-DNF resolutionLauria, MassimoInformation processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 2 |
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 |
| 3 |
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 |
| 4 |
Material Type: Artigo
|
|
On semantic cutting planes with very small coefficientsLauria, Massimo ; Thapen, NeilInformation processing letters, 2018-08, Vol.136, p.70-75 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 5 |
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 |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Proof Complexity (4)
- Computer Science, Information Systems (3)
- Resolution (3)
- Computer Science, Theory & Methods (2)
- Errors (1)
- Algebra (1)
- Clique (1)
- Decision Tree (1)
- Calculus (1)
- Algorithms (1)
- Computation (1)
- Degree Lower Bound (1)
- Automation (1)
- Automatizability (1)
- Boolean (1)
- Cutting Planes (1)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (5)
- ScienceDirect - Connect here FIRST to enable access (3)
- EBSCOhost Computers and Applied Sciences Complete (2)
- Springer Nature - Springer Journals All 2022 (1)
- Springer journals (1)
- EBSCOhost Business Source Complete (1)
- ACM Digital Library Complete (1)
- EBSCO-ASP (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 