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
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
scientific article; zbMATH DE number 7559127 (Why is no real title available?)	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	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	2020-05-20	Paper
Incremental delay enumeration: space and time Discrete Applied Mathematics	2019-09-19	Paper
Counting minimal transversals of \(\beta\)-acyclic hypergraphs Journal of Computer and System Sciences	2019-01-25	Paper
The arithmetic complexity of tensor contractions	2017-01-30	Paper
Understanding model counting for \(\beta\)-acyclic CNF-formulas	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