Florent Capelli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From amortized to worst case delay in enumeration algorithms Computational Complexity	2026-08-24	Paper
Dynamic direct access of MSO query evaluation over strings	2026-07-08	Paper
A simple algorithm for worst case optimal join and sampling	2026-07-08	Paper
Direct access for conjunctive queries with negations Logical Methods in Computer Science	2026-03-23	Paper
Direct access for conjunctive queries with negations	2025-11-11	Paper
Ranked enumeration for MSO on trees via knowledge compilation	2025-11-11	Paper
Geometric amortization of enumeration algorithms	2024-10-08	Paper
Linear programs with conjunctive queries	2024-04-25	Paper
Linear programs with conjunctive queries	2024-04-23	Paper
Linear Programs with Conjunctive Database Queries Logical Methods in Computer Science	2024-03-11	Paper
Tractable QBF by knowledge compilation	2022-07-18	Paper
Enumerating models of DNF faster: breaking the dependency on the formula size Discrete Applied Mathematics	2021-09-15	Paper
Understanding the complexity of \#SAT using knowledge compilation (available as arXiv preprint)	2021-01-19	Paper
Understanding the complexity of \#SAT using knowledge compilation	2021-01-19	Paper
Connecting knowledge compilation classes and width parameters Theory of Computing Systems	2020-07-02	Paper
Knowledge compilation languages as proof systems (available as arXiv preprint)	2020-05-20	Paper
Incremental delay enumeration: space and time Discrete Applied Mathematics	2019-09-19	Paper
Counting minimal transversals of -acyclic hypergraphs Journal of Computer and System Sciences	2019-01-25	Paper
The arithmetic complexity of tensor contractions (available as arXiv preprint)	2017-01-30	Paper
Understanding model counting for -acyclic CNF-formulas (available as arXiv preprint)	2017-01-24	Paper
The arithmetic complexity of tensor contraction Theory of Computing Systems	2016-06-03	Paper
On compiling CNFs into structured deterministic DNNFs Lecture Notes in Computer Science	2015-11-20	Paper
Hypergraph acyclicity and propositional model counting Lecture Notes in Computer Science	2014-09-26	Paper

Research outcomes over time

This page was built for person: Florent Capelli