Answer-Set Programming with Bounded Treewidth

Open in new window