Search - Archive ouverte HAL Access content directly

Filter your results

13 Results

The Arithmetic Complexity of Tensor Contraction

Florent Capelli , Arnaud Durand , Stefan Mengel
Theory of Computing Systems, 2016, 58 (4), pp.506 - 527. ⟨10.1007/s00224-015-9630-8⟩
Journal articles hal-01700746v1
Image document

Enumerating models of DNF faster: breaking the dependency on the formula size

Florent Capelli , Yann Strozecki
Discrete Applied Mathematics, 2020, ⟨10.1016/j.dam.2020.02.014⟩
Journal articles hal-01891483v1

Knowledge compilation languages as proof systems

Florent Capelli
2019
Preprints, Working Papers, ... hal-02163761v1

Knowledge Compilation Languages as Proof Systems

Florent Capelli
Theory and Applications of Satisfiability Testing – SAT 2019, Jul 2019, Lisbon, Portugal. pp.90-99, ⟨10.1007/978-3-030-24258-9_6⟩
Conference papers hal-02445523v1
Image document

Incremental delay enumeration: Space and time

Florent Capelli , Yann Strozecki
Discrete Applied Mathematics, 2018, ⟨10.1016/j.dam.2018.06.038⟩
Journal articles hal-01923091v1
Image document

Certifying Top-­Down Decision-­DNNF Compilers

Florent Capelli , Jean-Marie Lagniez , Pierre Marquis
AAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France
Conference papers hal-03111679v1
Image document

Linear Programs with Conjunctive Queries

Florent Capelli , Nicolas Crosetti , Joachim Niehren , Jan Ramon
25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom
Conference papers hal-01981553v1

Connecting Knowledge Compilation Classes and Width Parameters

Antoine Amarilli , Florent Capelli , Mikaël Monet , Pierre Senellart
Theory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
Journal articles hal-02163749v1

Knowledge Compilation Meets Communication Complexity

Simone Bova , Florent Capelli , Stefan Mengel , Friedrich Slivovsky
25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, NY, USA, Unknown Region. pp.1008--1014
Conference papers hal-03301001v1

Counting Minimal Transversals of β-Acyclic Hypergraphs

Benjamin Bergougnoux , Florent Capelli , Mamadou Moustapha Kanté
Journal of Computer and System Sciences, 2019, ⟨10.1016/j.jcss.2018.10.002⟩
Journal articles hal-01923090v1

Tractable QBF by Knowledge Compilation

Florent Capelli , Stefan Mengel
36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Mar 2019, Berlin, Germany
Conference papers hal-01836402v1

Understanding the complexity of #SAT using knowledge compilation

Florent Capelli
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005121⟩
Conference papers hal-01836195v1
Image document

Geometric Amortization of Enumeration Algorithms

Florent Capelli , Yann Strozecki
40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Mar 2023, Hamburg, Germany
Conference papers hal-03955911v1