Book ChapterOPEN ACCESS

The Barcelogic SMT Solver

  • Bofill M
  • Nieuwenhuis R
  • Oliveras A
  • et al.
Springer Berlin Heidelberg, (2008), 294-298
DOI: 10.1007/978-3-540-70545-1_27
N/ACitations
Citations of this article
9Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-the-art features developed by other research groups. We pay special attention to the theory solvers and to functionalities that are not common in SMT solvers.

Cite

CITATION STYLE

APA

Bofill, M., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., & Rubio, A. (2008). The Barcelogic SMT Solver. In Computer Aided Verification (pp. 294–298). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70545-1_27

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free