skip to main content

Idioma:

Resultados 1 - 10 de 15 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2

next page

Mostrar solo

Recursos en línea (14)
Revistas arbitradas (13)

Refinado por: materia: Resolution

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		A characterization of tree-like Resolution size Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo Information processing letters, 2013-09, Vol.113 (18), p.666-671 [Revista revisada por pares] Amsterdam: Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		A note about k-DNF resolution Lauria, Massimo Information processing letters, 2018-09, Vol.137, p.33-39 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		Cliques enumeration and tree-like resolution proofs Lauria, Massimo Information processing letters, 2018-07, Vol.135, p.62-67 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		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 [Revista revisada por pares] New York, NY: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		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 [Revista revisada por pares] Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Tight Size-Degree Bounds for Sums-of-Squares Proofs Lauria, Massimo ; Nordström, Jakob Computational complexity, 2017-12, Vol.26 (4), p.911-948 [Revista revisada por pares] Cham: Springer International Publishing Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		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 [Revista revisada por pares] New York: Association for Computing Machinery Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		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 [Revista revisada por pares] Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		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 [Revista revisada por pares] Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		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 [Revista revisada por pares] Sin texto completo Servicios adicionales Detalles Comentarios y Etiquetas Veces citado Citas Citado por

Resultados 1 - 10 de 15 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Recursos en línea (14)
Revistas arbitradas (13)

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora