search result

Cover von The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs

The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs

Year: 2018
Media group: LIPIcs
Cover von Proof Systems Based on Structured Circuits

Proof Systems Based on Structured Circuits

Year: 2026
Media group: LIPIcs
Cover von Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form

Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form

Year: 2024
Media group: LIPIcs
Cover von Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width

Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width

Year: 2019
Media group: LIPIcs
Cover von Answering UCQs under Updates and in the Presence of Integrity Constraints

Answering UCQs under Updates and in the Presence of Integrity Constraints

Year: 2018
Media group: LIPIcs
Cover von Answering FO+MOD Queries Under Updates on Bounded Degree Databases

Answering FO+MOD Queries Under Updates on Bounded Degree Databases

Year: 2017
Media group: LIPIcs
Cover von Supercritical Space-Width Trade-Offs for Resolution

Supercritical Space-Width Trade-Offs for Resolution

Year: 2016
Media group: LIPIcs
Cover von Parameterized Complexity of Fixed Variable Logics

Parameterized Complexity of Fixed Variable Logics

Year: 2014
Media group: LIPIcs
Cover von Bounds for the quantifier depth in finite-variable logics

Bounds for the quantifier depth in finite-variable logics

Alternation hierarchy
Year: 2013
Media group: LIPIcs
Cover von Factorised Representations of Join Queries

Factorised Representations of Join Queries

Tight Bounds and a New Dichotomy
Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0