@techreport{AchterbergBrinkmannWedler2007, author = {Tobias Achterberg and Raik Brinkmann and Markus Wedler}, title = {Property Checking with Constraint Integer Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {07-37}, language = {eng}, year = {2007} }