Problem Solving for the 21st Century: Efficient Solvers for Satisfiability Modulo Theories
Clark Barrett‚ Daniel Kroening and Tom Melham
Editor
Robert Leese and Tom Melham
Institution
London Mathematical Society and the Smith Institute for Industrial Mathematics and System Engineering
Month
June
Number
3
Year
2014