Collaborated with:
M.Morak S.Woltran
Talks about:
decomposit (1) program (1) problem (1) declar (1) answer (1) tree (1) solv (1) flat (1) use (1) set (1)
Person: Bernhard Bliem
DBLP: Bliem:Bernhard
Contributed to:
Wrote 1 papers:
- ICLP-J-2012-BliemMW #declarative #named #problem #programming #using
- D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.