"D-FLAT: Declarative Problem Solving Using Tree Decompositions and ..."

Bernhard Bliem, Michael Morak, Stefan Woltran (2012)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2018-08-13