search result

Cover von Optimally Rewriting Formulas and Database Queries

Optimally Rewriting Formulas and Database Queries

A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Year: 2024
Media group: LIPIcs
Cover von Bounds on BDD-Based Bucket Elimination

Bounds on BDD-Based Bucket Elimination

Year: 2023
Media group: LIPIcs
Cover von Changing Partitions in Rectangle Decision Lists

Changing Partitions in Rectangle Decision Lists

Year: 2022
Media group: LIPIcs
Cover von A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries

A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries

Year: 2015
Media group: LIPIcs
Cover von Tractable QBF by Knowledge Compilation

Tractable QBF by Knowledge Compilation

Year: 2019
Media group: LIPIcs
Cover von Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection

Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection

Year: 2019
Media group: LIPIcs
Cover von A Characterization of Efficiently Compilable Constraint Languages

A Characterization of Efficiently Compilable Constraint Languages

Year: 2024
Media group: LIPIcs
Cover von Enumeration on Trees under Relabelings

Enumeration on Trees under Relabelings

Year: 2018
Media group: LIPIcs
Cover von Understanding Model Counting for beta-acyclic CNF-formulas

Understanding Model Counting for beta-acyclic CNF-formulas

Year: 2015
Media group: LIPIcs
Cover von The arithmetic complexity of tensor contractions

The arithmetic complexity of tensor contractions

Year: 2013
Media group: ARTICLE
OPEN V 11.1.0.0