Travelled to:
1 × USA
Collaborated with:
Y.Lierler M.Truszczynski A.Westlund
Talks about:
problem (2) sequenc (1) weight (1) orient (1) declar (1) solv (1) casp (1) asp (1)
Person: Shaden Smith
DBLP: Smith:Shaden
Contributed to:
Wrote 1 papers:
- PADL-2012-LierlerSTW #declarative #problem
- Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.