@techreport{Barrett:2014:PS2,
  title = "Problem Solving for the 21st Century: Efficient Solvers for Satisfiability Modulo Theories",
  author = "Clark Barrett and Daniel Kroening and Tom Melham",
  year = "2014",
  editor = "Robert Leese and Tom Melham",
  institution = "London Mathematical Society and the Smith Institute for Industrial Mathematics and System Engineering",
  month = "June",
  number = "3",
}