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

Clark Barrett, Daniel Kroening, Thomas Melham

Research output: Book/Report › Other report

Original language	English (US)
Publisher	London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering
State	Published - Jun 2014

Name	Knowledge Transfer Report, Technical Report 3

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.

@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 = jun

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 -