Travelled to:
1 × Canada
Collaborated with:
R.Pichler S.Szeider S.Woltran
Talks about:
constraint (1) treewidth (1) tractabl (1) program (1) weight (1) enough (1) answer (1) bound (1) set (1) not (1)
Person: Stefan Rümmele
DBLP: R=uuml=mmele:Stefan
Contributed to:
Wrote 1 papers:
- KR-2010-PichlerRSW #bound #constraints #programming
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough (RP, SR, SS, SW).