Search Results - "integer linear programming ACM Reference Format"

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://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.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 Additional Key Words and Phrases, XML, tree languages, data values, Presburger arithmetic, reasoning, integer linear programming ACM Reference Format

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.2607
http://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.pdf

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://fox7.eu/wp-content/uploads/edt-tods.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 Additional Key Words and Phrases, XML, tree languages, data values, Presburger arithmetic, reasoning, integer linear programming ACM Reference Format

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.6197
http://fox7.eu/wp-content/uploads/edt-tods.pdf