| Original language | English (US) |
|---|---|
| Publisher | London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering |
| State | Published - Jun 2014 |
Publication series
| Name | Knowledge 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/Report › Other 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).
@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 -