No. |
Title |
Author |
Year |
---|

1 |
Bounds on BDD-Based Bucket Elimination |
Mengel, Stefan |
2023 |

2 |
Changing Partitions in Rectangle Decision Lists |
Mengel, Stefan |
2022 |

3 |
Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection |
Mengel, Stefan et al. |
2019 |

4 |
Constant-Delay Enumeration for Nondeterministic Document Spanners |
Amarilli, Antoine et al. |
2019 |

5 |
Tractable QBF by Knowledge Compilation |
Capelli, Florent et al. |
2019 |

6 |
Enumeration on Trees under Relabelings |
Amarilli, Antoine et al. |
2018 |

7 |
A Circuit-Based Approach to Efficient Enumeration |
Amarilli, Antoine et al. |
2017 |

8 |
A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries |
Chen, Hubie et al. |
2015 |

9 |
Understanding Model Counting for beta-acyclic CNF-formulas |
Brault-Baron, Johann et al. |
2015 |

10 |
The arithmetic complexity of tensor contractions |
Capelli, Florent et al. |
2013 |

11 |
Monomials in arithmetic circuits: Complete problems in the counting hierarchy |
Fournier, HervĂ© et al. |
2012 |