Bernhard Bliem, Michael Morak, Stefan Woltran
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
ICLP, 2012.
@article{ICLP-J-2012-BliemMW, author = "Bernhard Bliem and Michael Morak and Stefan Woltran", doi = "10.1017/S1471068412000129", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "445--464", title = "{D-FLAT: Declarative problem solving using tree decompositions and answer-set programming}", volume = 12, year = 2012, }