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]

Authors

Claire David

This author has not been identified. Look up 'Claire David' in Google

Leonid Libkin

This author has not been identified. Look up 'Leonid Libkin' in Google

Tony Tan

This author has not been identified. Look up 'Tony Tan' in Google