Treffer: Property checking with constraint integer programming
Titel:
Property checking with constraint integer programming / Tobias Achterberg; Raik Brinkmann; Markus Wedler
Verantwortlich:
Veröffentlicht:
Berlin-Dahlem : Konrad-Zuse-Zentrum für Informationstechnik, 2007
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (16 S., 213 KB) : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2007,37
Anmerkungen:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
Schlagworte: