search result

Cover von Optimal Lower Bounds for Symmetric Modular Circuits

Optimal Lower Bounds for Symmetric Modular Circuits

Year: 2026
Media group: LIPIcs
Cover von Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits

Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits

Year: 2023
Media group: LIPIcs
Cover von Finite Model Theory and Proof Complexity Revisited

Finite Model Theory and Proof Complexity Revisited

Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
Year: 2023
Media group: LIPIcs
Cover von Choiceless Computation and Symmetry

Choiceless Computation and Symmetry

Limitations of Definability
Year: 2021
Media group: LIPIcs
Cover von Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

Year: 2025
Media group: LIPIcs
Cover von Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms

Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms

Year: 2026
Media group: LIPIcs
Cover von Symmetric Algebraic Circuits and Homomorphism Polynomials

Symmetric Algebraic Circuits and Homomorphism Polynomials

Year: 2026
Media group: LIPIcs
Cover von Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Year: 2024
Media group: LIPIcs
Cover von The Model-Theoretic Expressiveness of Propositional Proof Systems

The Model-Theoretic Expressiveness of Propositional Proof Systems

Year: 2017
Media group: LIPIcs
Cover von Preservation Theorems in Semiring Semantics

Preservation Theorems in Semiring Semantics

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0