<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="LIB90022020X" att2="LIB90022020X">001   LIB90022020X</record>
      <field key="037" subkey="x">englisch</field>
      <field key="050" subkey="x">Forschungsbericht</field>
      <field key="076" subkey="">Formalwissenschaft</field>
      <field key="079" subkey="y">http://www.ihs.ac.at/publications/ihsfo/fo114.pdf</field>
      <field key="079" subkey="z">ziegler, leopold a., on pseudo-boolean programming and generalizations (pdf)</field>
      <field key="100" subkey="">ziegler, leopold a.</field>
      <field key="331" subkey="">on pseudo-boolean programming and generalizations</field>
      <field key="335" subkey="">applying mathematical logic to 0-1 integer programming</field>
      <field key="403" subkey="">1. ed.</field>
      <field key="410" subkey="">wien</field>
      <field key="412" subkey="">institut fuer hoehere studien</field>
      <field key="425" subkey="">1976, july</field>
      <field key="433" subkey="">43 pp.</field>
      <field key="451" subkey="">institut fuer hoehere studien; forschungsberichte; 114</field>
      <field key="544" subkey="">IHSFO 114</field>
      <field key="753" subkey="">abstract (preface): mathematical programming deals with the optimization of a given function under constraints - usually in the</field>
      <field key="for" subkey="m">of inequalities - and provides not only a theoretical framework for a large class of optimization problems but also a basis</field>
      <field key="for" subkey="">the development of useful techniques which can be used for formulation purposes, model construction and the derivation of</field>
      <field key="sol" subkey="u">tion procedure. it is the aim of this paper to discuss the general background of integer programming as a part of</field>
      <field key="mat" subkey="h">ematical programming and some aspects of applying mathematical logic to integer programming problems, particularly in 0-1</field>
      <field key="var" subkey="i">ables.;</field>
    </SEQUENTIAL>
  </section>