LONGO, Davide Mario
LONGO, Davide Mario
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.006 secondi).
Grounding planning tasks using tree decompositions and iterated solving
2023-01-01 Corrêa, Augusto B.; Hecher, Markus; Helmert, Malte; Longo, Davide Mario; Pommerening, Florian; Woltran, Stefan
HyperBench: a benchmark and tool for hypergraphs and empirical findings
2021-01-01 Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard
HyperBench: A benchmark and tool for hypergraphs and empirical findings
2019-01-01 Fischl, W.; Gottlob, G.; Longo, D. M.; Pichler, R.
Incremental updates of generalized hypertree decompositions
2022-01-01 Gottlob, Georg; Lanzinger, Matthias; Longo, Davide Mario; Okulmus, Cem
The HyperTrac project: recent progress and future research directions on hypergraph decompositions
2020-01-01 Gottlob, G.; Lanzinger, M.; Longo, D. M.; Okulmus, C.; Pichler, R.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Grounding planning tasks using tree decompositions and iterated solving | 1-gen-2023 | Corrêa, Augusto B.; Hecher, Markus; Helmert, Malte; Longo, Davide Mario; Pommerening, Florian; Woltran, Stefan | |
HyperBench: a benchmark and tool for hypergraphs and empirical findings | 1-gen-2021 | Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard | |
HyperBench: A benchmark and tool for hypergraphs and empirical findings | 1-gen-2019 | Fischl, W.; Gottlob, G.; Longo, D. M.; Pichler, R. | |
Incremental updates of generalized hypertree decompositions | 1-gen-2022 | Gottlob, Georg; Lanzinger, Matthias; Longo, Davide Mario; Okulmus, Cem | |
The HyperTrac project: recent progress and future research directions on hypergraph decompositions | 1-gen-2020 | Gottlob, G.; Lanzinger, M.; Longo, D. M.; Okulmus, C.; Pichler, R. |