@inproceedings{our-work.TACAS:2012,
  title = "Numeric Bounds Analysis with Conflict-Driven Learning",
  author = "Vijay D'Silva and Leopold Haller and Daniel Kroening and Michael Tautschnig",
  year = "2012",
  booktitle = "TACAS",
}