Proof complexity of Mal'tsev CSP
Fuente:
arXiv
Guardado en:
| Autor principal: | Gaysin, Azza |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| 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)
por: Gaysin, Azza
Publicado: (2024)
Proof complexity of positive branching programs
por: Das, Anupam, et al.
Publicado: (2021)
por: Das, Anupam, et al.
Publicado: (2021)
Modular Counting CSP: Reductions and Algorithms
por: Kazeminia, Amirhossein, et al.
Publicado: (2025)
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)
por: Barto, Libor, et al.
Publicado: (2021)
The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)
por: Arteche, Noel, et al.
Publicado: (2025)
Proof Complexity of Linear Logics
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)
Proof Complexity and Feasible Interpolation
por: Tabatabai, Amirhossein Akbar
Publicado: (2025)
por: Tabatabai, Amirhossein Akbar
Publicado: (2025)
The Richness of CSP Non-redundancy
por: Brakensiek, Joshua, et al.
Publicado: (2025)
por: Brakensiek, Joshua, et al.
Publicado: (2025)
Symmetric Proofs in the Ideal Proof System
por: Dawar, Anuj, et al.
Publicado: (2025)
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)
por: Atserias, Albert, et al.
Publicado: (2024)
A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
por: Zhuk, Dmitriy
Publicado: (2024)
por: Zhuk, Dmitriy
Publicado: (2024)
On $NP \cap coNP$ proof complexity generators
por: Krajicek, Jan
Publicado: (2025)
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)
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)
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)
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)
por: Kátay, Tamás, et al.
Publicado: (2023)
How to fit large complexity classes into TFNP
por: Thapen, Neil
Publicado: (2024)
por: Thapen, Neil
Publicado: (2024)
Separating complexity classes of LCL problems on grids
por: Berlow, Katalin, et al.
Publicado: (2025)
por: Berlow, Katalin, et al.
Publicado: (2025)
Semi-Algebraic Proof Systems for QBF
por: Beyersdorff, Olaf, et al.
Publicado: (2025)
por: Beyersdorff, Olaf, et al.
Publicado: (2025)
Effective Versions of Strong Measure Zero
por: Rayman, Matthew
Publicado: (2025)
por: Rayman, Matthew
Publicado: (2025)
Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)
por: Oliveira, Igor C.
Publicado: (2025)
On the consistency of stronger lower bounds for NEXP
por: Thapen, Neil
Publicado: (2025)
por: Thapen, Neil
Publicado: (2025)
Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
por: Nechesov, Andrey
Publicado: (2024)
por: Nechesov, Andrey
Publicado: (2024)
An order out of nowhere: a new algorithm for infinite-domain CSPs
por: Mottet, Antoine, et al.
Publicado: (2023)
por: Mottet, Antoine, et al.
Publicado: (2023)
Parallelism and Adaptivity in Student-Teacher Witnessing
por: Ježil, Ondřej, et al.
Publicado: (2026)
por: Ježil, Ondřej, et al.
Publicado: (2026)
The complete classification for quantified equality constraints
por: Zhuk, Dmitriy, et al.
Publicado: (2021)
por: Zhuk, Dmitriy, et al.
Publicado: (2021)
$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2024)
por: Zhuk, Dmitriy
Publicado: (2024)
On Naturally and Weakly Mal'tsev Categories
por: Martins-Ferreira, Nelson
Publicado: (2025)
por: Martins-Ferreira, Nelson
Publicado: (2025)
A note on Mal'tsev objects
por: Clementino, M. M., et al.
Publicado: (2023)
por: Clementino, M. M., et al.
Publicado: (2023)
Mal'tsev products of varieties, I
por: Penza, Tomasz, et al.
Publicado: (2024)
por: Penza, Tomasz, et al.
Publicado: (2024)
Mal'tsev products of varieties, II
por: Penza, Tomasz, et al.
Publicado: (2024)
por: Penza, Tomasz, et al.
Publicado: (2024)
Partial Mal'tsevness and partial protomodularity
por: Bourn, Dominique
Publicado: (2015)
por: Bourn, Dominique
Publicado: (2015)
Free topological Mal'tsev algebras
por: Sipacheva, Ol'ga V., et al.
Publicado: (2024)
por: Sipacheva, Ol'ga V., et al.
Publicado: (2024)
Classical Simulation of Quantum CSP Strategies
por: Banakh, Demian, et al.
Publicado: (2025)
por: Banakh, Demian, et al.
Publicado: (2025)
Non-commutative linear logic fragments with sub-context-free complexity
por: Nishimiya, Yusaku, et al.
Publicado: (2025)
por: Nishimiya, Yusaku, et al.
Publicado: (2025)
A Proposed Characterization of p-Simulation Between Theories
por: Monroe, Hunter
Publicado: (2025)
por: Monroe, Hunter
Publicado: (2025)
Feasibility of Primality in Bounded Arithmetic
por: Jalali, Raheleh, et al.
Publicado: (2025)
por: Jalali, Raheleh, et al.
Publicado: (2025)
Structures preserved by primitive actions of $S_ω$
por: Bodirsky, Manuel, et al.
Publicado: (2025)
por: Bodirsky, Manuel, et al.
Publicado: (2025)
Toward a Characterization of Simulation Between Arithmetic Theories
por: Monroe, Hunter
Publicado: (2026)
por: Monroe, Hunter
Publicado: (2026)
Witnessing Flows in Arithmetic
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)
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)