<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>2821</id>
    <completedYear>2009</completedYear>
    <publishedYear>2009</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>441</pageFirst>
    <pageLast>446</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume>5584</volume>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Nonlinear pseudo-Boolean optimization</title>
    <parentTitle language="eng">Theory and Applications of Satisfiability Testing – SAT 2009</parentTitle>
    <enrichment key="Series">Lecture Notes in Computer Science</enrichment>
    <enrichment key="PreprintUrn">urn:nbn:de:0297-zib-11232</enrichment>
    <enrichment key="PeerReviewed">yes</enrichment>
    <author>Timo Berthold</author>
    <editor>Oliver Kullmann</editor>
    <author>Stefan Heinz</author>
    <author>Marc Pfetsch</author>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="berthold">Berthold, Timo</collection>
    <collection role="persons" number="heinz">Heinz, Stefan</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
  </doc>
</export-example>
