Subject <Equals> "510 Mathematik" Date Issued <Equals> "[2000 TO 2009]" Author <Equals> "Achterberg, Tobias" Subject <Equals> "Chip-Verifikation" Subject <Equals> "Ganzzahlige Programmierung" Subject <Equals> "Integer Programming" Type <Equals> "Doctoral Thesis" Subject <Equals> "Chip Verification" Date Issued <Equals> "2007" Subject <Equals> "Mathematische Programmierung"