@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{Barrett:SMT2014,
title = {SMT: Where do we go from here?},
author = {Clark Barrett},
pages = {1},
url = {http://ceur-ws.org/Vol-1163#paper-01},
crossref = {SMT2014},
}

@inproceedings{FremontSeshia:SMT2014,
title = {Speeding Up SMT-Based Quantitative Program Analysis},
author = {Daniel J. Fremont and Sanjit A. Seshia},
pages = {3--13},
url = {http://ceur-ws.org/Vol-1163#paper-02},
crossref = {SMT2014},
}

@inproceedings{PalikarevaCadar:SMT2014,
title = {Multi-solver Support in Symbolic Execution},
author = {Hristina Palikareva and Cristian Cadar},
pages = {15},
url = {http://ceur-ws.org/Vol-1163#paper-03},
crossref = {SMT2014},
}

@inproceedings{CarlssonEtAl:SMT2014,
title = {Protocol Log Analysis with Constraint Programming},
author = {Mats Carlsson and Olga Grinchtein and Justin Pearson},
pages = {17--26},
url = {http://ceur-ws.org/Vol-1163#paper-04},
crossref = {SMT2014},
}

@inproceedings{LamCervesato:SMT2014,
title = {Reasoning About Set Comprehensions},
author = {Edmund S. L. Lam and Iliano Cervesato},
pages = {27--37},
url = {http://ceur-ws.org/Vol-1163#paper-05},
crossref = {SMT2014},
}

@inproceedings{ChristHoenicke:SMT2014,
title = {Weakly Equivalent Arrays},
author = {Juergen Christ and Jochen Hoenicke},
pages = {39--49},
url = {http://ceur-ws.org/Vol-1163#paper-06},
crossref = {SMT2014},
}

@inproceedings{AlbertiEtAl:SMT2014,
title = {Decision Procedures for Flat Array Properties},
author = {Francesco Alberti and Silvio Ghilardi and Natasha Sharygina},
pages = {51},
url = {http://ceur-ws.org/Vol-1163#paper-07},
crossref = {SMT2014},
}

@inproceedings{BonichonEtAl:SMT2014,
title = {Extending SMT-LIB v2 with $\lambda$-Terms and Polymorphism},
author = {Richard Bonichon and David D\'{e}harbe and Cl\'{a}udia Tavares},
pages = {53--62},
url = {http://ceur-ws.org/Vol-1163#paper-08},
crossref = {SMT2014},
}

@inproceedings{Melquiond:SMT2014,
title = {Automating the Verification of Floating-Point Algorithms},
author = {Guillaume Melquiond},
pages = {63},
url = {http://ceur-ws.org/Vol-1163#paper-09},
crossref = {SMT2014},
}

@inproceedings{KingEtAl:SMT2014,
title = {Leveraging Linear and Mixed Integer Programming for SMT},
author = {Timothy King and Clark Barrett and Cesare Tinelli},
pages = {65},
url = {http://ceur-ws.org/Vol-1163#paper-10},
crossref = {SMT2014},
}

@inproceedings{KhanhEtAl:SMT2014,
title = {raSAT: SMT for Polynomial Inequality},
author = {To Van Khanh and Vu Xuan Tung and Mizuhito Ogawa},
pages = {67},
url = {http://ceur-ws.org/Vol-1163#paper-11},
crossref = {SMT2014},
}

@inproceedings{KostaEtAl:SMT2014,
title = {Better Answers to Real Questions},
author = {Marek Kosta and Thomas Sturm and Andreas Dolzmann},
pages = {69},
url = {http://ceur-ws.org/Vol-1163#paper-12},
crossref = {SMT2014},
}

@inproceedings{KorovinEtAl:SMT2014,
title = {Towards Conflict-Driven Learning for Virtual Substitution},
author = {Konstantin Korovin and Marek Kosta and Thomas Sturm},
pages = {71},
url = {http://ceur-ws.org/Vol-1163#paper-13},
crossref = {SMT2014},
}

@proceedings{SMT2014,
booktitle = {12th International Workshop on Satisfiability Modulo Theories (SMT)},
title = {Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT)},
year = 2014,
editor = {Philipp R\"{u}mmer and Christoph M. Wintersteiger},
number = 1163,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1163},
venue = {Vienna, Austria},
eventdate = {2014-07-17},
}