*Result*: Property checking with constraint integer programming
*Title*:
Property checking with constraint integer programming / Tobias Achterberg; Raik Brinkmann; Markus Wedler
*Author/editor-in-chief*:
*Publication*:
Berlin-Dahlem : Konrad-Zuse-Zentrum für Informationstechnik, 2007
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (16 S., 213 KB) : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin ; 2007,37
*Notes*:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
*Subject Added Keywords*: