Search Results - "Logical Design—Data Models General Terms Algorithms"

Efficient reasoning about data trees via integer linear programming

Authors: Claire David Leonid Libkin Tony Tan et al.

Contributors: Claire David Leonid Libkin Tony Tan et al.

Source: http://hal-enpc.archives-ouvertes.fr/docs/00/72/06/72/PDF/icdt11.pdf.

Subject Terms: Categories and Subject Descriptors F.1.1 [Computation by Abstract Devices, Models of Computation—Automata, F.4.1 [Mathematical logic and formal languages, Mathematical logic, G.1.6 [Numerical Analysis, Optimization—Integer programming, H.2.1 [Database Management, Logical Design—Data Models General Terms Algorithms, Theory

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9492

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9492
http://hal-enpc.archives-ouvertes.fr/docs/00/72/06/72/PDF/icdt11.pdf