„descriptive complexity“
Suchergebnisse
109 Treffer
-
Symmetric Proofs in the Ideal Proof System
-
Critical analysis of descriptive microRNA data in the translational research on cardioprotection and cardiac repair: lost in the complexity of bioinformatics
-
Unifying Boolean and Algebraic Descriptive Complexity
-
Minimality and Computability of Languages of G-Shifts
-
An Upper Bound on the Weisfeiler-Leman Dimension
-
On the Descriptive Complexity of Color Coding
-
Exploring the Complexity of Event Query Discovery
-
Descriptive Complexity of #AC^0 Functions
-
On the Descriptive Complexity of Vertex Deletion Problems
-
Logical Characterizations of Weighted Complexity Classes
-
Traversal-Invariant Characterizations of Logarithmic Space
-
Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler-Leman
-
Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Linear Integer Arithmetic
-
Undefinability of Approximation of 2-To-2 Games
-
Quantifiers Closed Under Partial Polymorphisms
-
Descriptive Complexity for Neural Networks via Boolean Networks
-
Existential Second-Order Logic over Graphs: Parameterized Complexity
-
Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits
-
Descriptive Complexity for Distributed Computing with Circuits
-
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes