Click a term to refine your current search.
Paper type
- no paper type (1)
- Survey / Bibl. (1)
Venue type
: all » WorkshopCitations range
- 10 - 49 (2)
... Lautemann, S Year: ...
Publication - cat - 04/17/2013 - 13:16 - 0 comments - 0 attachments
... schema and data state. We provide proof of the algorithm's optimality by establishing the confluence property of our problem search ...
Publication - cat - 04/16/2013 - 07:49 - 0 comments - 1 attachment