Problem solving for the 21st century: Efficient solver for satisfiability modulo theories

Clark Barrett, Daniel Kroening, Thomas Melham

Research output: Book/ReportOther report

Publication series

NameKnowledge Transfer Report, Technical Report 3

Cite this

Barrett, C., Kroening, D., & Melham, T. (2014). Problem solving for the 21st century: Efficient solver for satisfiability modulo theories. (Knowledge Transfer Report, Technical Report 3). London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering.