Optimization Project home page. ODB Tools

Subsumption-based tranformations of a query