Binary decision diagrams and integer programming [Elektronische Ressource] / von Markus Behle

Markus Behle

Description

vBinaryhenDecisionhaftlicDiagramsUnivandSaarbr?cInectegerakult?tenProdesgrammingMarkusDissertationenzurh-TErlangunghniscdesFGradesderdesersit?tDoktorsSaarlandesderonIngenieurwissenscBehlehaftenkder2007Naturwissenscf?rDatumridesenKaderbolloErnstquiums:ter:22.brand,DezeKurtmenbf?reGutacrDr.2007hDekersit?tanProf.derMax-PlancNaturwissenscSaarbr?chaftlicPDh-TMax-PlancecSaarbr?chniscenhenhFProf.akult?tFI:edricProf.EisenDr.UnivThorstenPHerfetornVDr.orsitzender:Mehlhorn,Prof.k-InstitutDr.Informatik,GerhardkWBeisitzer:eikum,Dr.Max-PlancAlthaus,k-Institutk-Institutf?rInformatik,Informatik,kSaarbr?ckalidAbstractwIn0/1thists.wthatorkorwoutpeeshoourwIPs.hoandwaBinaryvDecisionumeraDiagramsy'scannobbasedeB&Cuseditedastheaenpsolutionooptimalweerfuledtoololdesforof0/1CutInotegereProgramminghandIPsrelatedeproutineolyhedralcomputationalproblems.isWsmalleerticesdevondielopolytopanitsoutput-sensitivanecounalgorithmumerateforsbobuildingFadevthresholdfreelyBDD,ewhicwhichexistingrepre-thesenotspthehfeasibleto0/1mesolutionstoofIPs.atlinearelconstraingeneratet,forandhgivBDDs.eplemenabasedparallelnandork.

Sujets

• Informatik

Informations

• Publié par: universitat_des_saarlandes
• Publié le: 01 janvier 2007
• Nombre de lectures: 21
• Langue: Deutsch

Extrait