Florent Capelli

From MaRDI portal
(Redirected from Person:290897)



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!

PublicationDate of PublicationType
Direct access for conjunctive queries with negations
Logical Methods in Computer Science
2026-03-23Paper
Geometric amortization of enumeration algorithms2024-10-08Paper
Linear programs with conjunctive queries2024-04-25Paper
Linear programs with conjunctive queries2024-04-23Paper
Linear Programs with Conjunctive Database Queries
Logical Methods in Computer Science
2024-03-11Paper
scientific article; zbMATH DE number 7559127 (Why is no real title available?)2022-07-18Paper
Enumerating models of DNF faster: breaking the dependency on the formula size
Discrete Applied Mathematics
2021-09-15Paper
Understanding the complexity of \#SAT using knowledge compilation2021-01-19Paper
Understanding the complexity of \#SAT using knowledge compilation
(available as arXiv preprint)
2021-01-19Paper
Connecting knowledge compilation classes and width parameters
Theory of Computing Systems
2020-07-02Paper
Knowledge compilation languages as proof systems
(available as arXiv preprint)
2020-05-20Paper
Incremental delay enumeration: space and time
Discrete Applied Mathematics
2019-09-19Paper
Counting minimal transversals of \(\beta\)-acyclic hypergraphs
Journal of Computer and System Sciences
2019-01-25Paper
The arithmetic complexity of tensor contractions
(available as arXiv preprint)
2017-01-30Paper
Understanding model counting for \(\beta\)-acyclic CNF-formulas
(available as arXiv preprint)
2017-01-24Paper
The arithmetic complexity of tensor contraction
Theory of Computing Systems
2016-06-03Paper
On compiling CNFs into structured deterministic DNNFs
Lecture Notes in Computer Science
2015-11-20Paper
Hypergraph acyclicity and propositional model counting
Lecture Notes in Computer Science
2014-09-26Paper


Research outcomes over time


This page was built for person: Florent Capelli