Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Counting solutions of integer programs using unrestricted subtree detection

Gespeichert in:

Personen und Körperschaften: Achterberg, Tobias (Sonstige), Heinz, Stefan (Sonstige), Koch, Thorsten (Sonstige)
Titel: Counting solutions of integer programs using unrestricted subtree detection/ Tobias Achterberg; Stefan Heinz; Thorsten Koch
Format: E-Book
Sprache: Englisch
veröffentlicht:
Berlin-Dahlem Konrad-Zuse-Zentrum für Informationstechnik 2008
Gesamtaufnahme: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2008,9
Schlagwörter:
Forschungsbericht
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
Details
Zusammenfassung: In the recent years there has been tremendous progress in the development of algorithms to find optimal solutions for integer programs. In many applications it is, however, desirable (or even necessary) to generate all feasible solutions. Examples arise in the areas of hardware and software verification and discrete geometry. In this paper, we investigate how to extend branch-and-cut integer programming frameworks to support the generation of s branch-and-count paradigm which show the potential of the unrestricted subtree detection.
Beschreibung: Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
Umfang: Online-Ressource (6 S., 365 KB); graph. Darst
Format: Systemvoraussetzungen: Acrobat reader.