Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Title(descending)
- Award date

2011 ICDT Best Paper Award
David, Claire (Recipient), Libkin, Leonid (Recipient) & Tan, Tony (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)