D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

Open in new window