Imagen de Portada

Proof complexity of Mal'tsev CSP

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gaysin, Azza
Formato:	Preprint
Publicado:	2025
Materias:	Logic Computational Complexity
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proof complexity of universal algebra in a CSP dichotomy proof
por: Gaysin, Azza
Publicado: (2024)

Proof complexity of positive branching programs
por: Das, Anupam, et al.
Publicado: (2021)

Modular Counting CSP: Reductions and Algorithms
por: Kazeminia, Amirhossein, et al.
Publicado: (2025)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
por: Barto, Libor, et al.
Publicado: (2021)

The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)

Proof Complexity of Linear Logics
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)

Proof Complexity and Feasible Interpolation
por: Tabatabai, Amirhossein Akbar
Publicado: (2025)

The Richness of CSP Non-redundancy
por: Brakensiek, Joshua, et al.
Publicado: (2025)

Symmetric Proofs in the Ideal Proof System
por: Dawar, Anuj, et al.
Publicado: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
por: Atserias, Albert, et al.
Publicado: (2024)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
por: Zhuk, Dmitriy
Publicado: (2024)

On $NP \cap coNP$ proof complexity generators
por: Krajicek, Jan
Publicado: (2025)

On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems
por: Choudhury, Abhimanyu, et al.
Publicado: (2025)

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
por: Li, Jiawei, et al.
Publicado: (2024)

New Bounds for the Ideal Proof System in Positive Characteristic
por: Behera, Amik Raj, et al.
Publicado: (2025)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
por: Kátay, Tamás, et al.
Publicado: (2023)

How to fit large complexity classes into TFNP
por: Thapen, Neil
Publicado: (2024)

Separating complexity classes of LCL problems on grids
por: Berlow, Katalin, et al.
Publicado: (2025)

Semi-Algebraic Proof Systems for QBF
por: Beyersdorff, Olaf, et al.
Publicado: (2025)

Effective Versions of Strong Measure Zero
por: Rayman, Matthew
Publicado: (2025)

Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)

On the consistency of stronger lower bounds for NEXP
por: Thapen, Neil
Publicado: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
por: Nechesov, Andrey
Publicado: (2024)

An order out of nowhere: a new algorithm for infinite-domain CSPs
por: Mottet, Antoine, et al.
Publicado: (2023)

Parallelism and Adaptivity in Student-Teacher Witnessing
por: Ježil, Ondřej, et al.
Publicado: (2026)

The complete classification for quantified equality constraints
por: Zhuk, Dmitriy, et al.
Publicado: (2021)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2024)

On Naturally and Weakly Mal'tsev Categories
por: Martins-Ferreira, Nelson
Publicado: (2025)

A note on Mal'tsev objects
por: Clementino, M. M., et al.
Publicado: (2023)

Mal'tsev products of varieties, I
por: Penza, Tomasz, et al.
Publicado: (2024)

Mal'tsev products of varieties, II
por: Penza, Tomasz, et al.
Publicado: (2024)

Partial Mal'tsevness and partial protomodularity
por: Bourn, Dominique
Publicado: (2015)

Free topological Mal'tsev algebras
por: Sipacheva, Ol'ga V., et al.
Publicado: (2024)

Classical Simulation of Quantum CSP Strategies
por: Banakh, Demian, et al.
Publicado: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
por: Nishimiya, Yusaku, et al.
Publicado: (2025)

A Proposed Characterization of p-Simulation Between Theories
por: Monroe, Hunter
Publicado: (2025)

Feasibility of Primality in Bounded Arithmetic
por: Jalali, Raheleh, et al.
Publicado: (2025)

Structures preserved by primitive actions of $S_ω$
por: Bodirsky, Manuel, et al.
Publicado: (2025)

Toward a Characterization of Simulation Between Arithmetic Theories
por: Monroe, Hunter
Publicado: (2026)

Witnessing Flows in Arithmetic
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)