<?xml version="1.0" standalone="yes"?>
<Paper uid="W06-3126">
  <Title>The LDV-COMBO system for SMT</Title>
  <Section position="6" start_page="168" end_page="168" type="ackno">
    <SectionTitle>
Acknowledgements
</SectionTitle>
    <Paragraph position="0"> This research has been funded by the Spanish Ministry of Science and Technology (ALIADO TIC2002-04447-C02). Authors are thankful to Patrik Lambert for providing us with the implementation of the Simplex Method used for tuning.</Paragraph>
  </Section>
class="xml-element"></Paper>