Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

First Page		Document Content
Date: 2013-06-20 14:18:41		Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming Add to Reading List Source URL: dbai.tuwien.ac.at Download Document from Source Website File Size: 308,16 KB Share Document on Facebook