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).
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.