Picture for Marco De Bortoli

Marco De Bortoli

Graz University of Technology

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)

Add code
Jul 22, 2023
Viaarxiv icon

Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

Add code
Sep 18, 2019
Figure 1 for Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
Figure 2 for Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
Viaarxiv icon