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.

Problem solving for the 21st century : Efficient solver for satisfiability modulo theories. / Barrett, Clark; Kroening, Daniel; Melham, Thomas.

London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering, 2014. (Knowledge Transfer Report, Technical Report 3).

Research output: Book/ReportOther report

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.
Barrett C, Kroening D, Melham T. Problem solving for the 21st century: Efficient solver for satisfiability modulo theories. London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering, 2014. (Knowledge Transfer Report, Technical Report 3).
Barrett, Clark ; Kroening, Daniel ; Melham, Thomas. / Problem solving for the 21st century : Efficient solver for satisfiability modulo theories. London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering, 2014. (Knowledge Transfer Report, Technical Report 3).
@book{7267923e021f4a369ae1a85dc2196a6b,
title = "Problem solving for the 21st century: Efficient solver for satisfiability modulo theories",
author = "Clark Barrett and Daniel Kroening and Thomas Melham",
year = "2014",
month = "6",
language = "English (US)",
series = "Knowledge Transfer Report, Technical Report 3",
publisher = "London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering",

}

TY - BOOK

T1 - Problem solving for the 21st century

T2 - Efficient solver for satisfiability modulo theories

AU - Barrett, Clark

AU - Kroening, Daniel

AU - Melham, Thomas

PY - 2014/6

Y1 - 2014/6

M3 - Other report

T3 - Knowledge Transfer Report, Technical Report 3

BT - Problem solving for the 21st century

PB - London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering

ER -