Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

Open in new window