Bibtex:

@techreport{bkm2014,
  AUTHOR    = { Barrett, Clark
                and Kroening, Daniel
                and Melham, Tom },
  TITLE     = { Problem Solving for the 21st Century },
  YEAR      = { 2014 },
  INSTITUTION= { London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering },
  MONTH     = { June },
  NUMBER    = { 3 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.