Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan. Efficient reasoning about data trees via integer linear programming. In Tova Milo, editor, Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings. pages 18-29, ACM, 2011. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: