Filter your results
- 8
- 5
- 7
- 5
- 1
- 13
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 13
- 10
- 10
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
13 Results
|
|
sorted by
|
The Arithmetic Complexity of Tensor ContractionTheory of Computing Systems, 2016, 58 (4), pp.506 - 527. ⟨10.1007/s00224-015-9630-8⟩
Journal articles
hal-01700746v1
|
|||
|
Enumerating models of DNF faster: breaking the dependency on the formula sizeDiscrete Applied Mathematics, 2020, ⟨10.1016/j.dam.2020.02.014⟩
Journal articles
hal-01891483v1
|
||
|
Knowledge compilation languages as proof systems2019
Preprints, Working Papers, ...
hal-02163761v1
|
||
|
Knowledge Compilation Languages as Proof SystemsTheory 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
|
||
|
Incremental delay enumeration: Space and timeDiscrete Applied Mathematics, 2018, ⟨10.1016/j.dam.2018.06.038⟩
Journal articles
hal-01923091v1
|
||
|
Certifying Top-Down Decision-DNNF CompilersAAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France
Conference papers
hal-03111679v1
|
||
|
Linear Programs with Conjunctive Queries25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom
Conference papers
hal-01981553v1
|
||
|
Connecting Knowledge Compilation Classes and Width ParametersTheory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
Journal articles
hal-02163749v1
|
||
Knowledge Compilation Meets Communication Complexity25th 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 HypergraphsJournal of Computer and System Sciences, 2019, ⟨10.1016/j.jcss.2018.10.002⟩
Journal articles
hal-01923090v1
|
||
|
Tractable QBF by Knowledge Compilation36th 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 compilation2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005121⟩
Conference papers
hal-01836195v1
|
||
|
Geometric Amortization of Enumeration Algorithms40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Mar 2023, Hamburg, Germany
Conference papers
hal-03955911v1
|