-
1
-
-
35048835830
-
CVC Lite: A New Implementation of the Cooperating Validity Checker Category
-
Alur, R., Peled, D.A. (eds.) CAV 2004. Springer, Heidelberg
-
Barrett, C., Berezin, S.: CVC Lite: A New Implementation of the Cooperating Validity Checker Category. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 515-518. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3114
, pp. 515-518
-
-
Barrett, C.1
Berezin, S.2
-
2
-
-
79960382212
-
-
Barrett, C., Deters, M., Oliveras, A., Stump, A.: SMT-COMP 2010: the 2010 edition of the satisfiability modulo theories competition, http://www.smtcomp. org/2010/
-
SMT-COMP 2010: The 2010 Edition of the Satisfiability Modulo Theories Competition
-
-
Barrett, C.1
Deters, M.2
Oliveras, A.3
Stump, A.4
-
3
-
-
84957633777
-
-
Springer, Heidelberg
-
Barrett, C., Dill, D., Levitt, J.: Validity checking for combinations of theories with equality, pp. 187-201. Springer, Heidelberg (1996)
-
(1996)
Validity Checking for Combinations of Theories with Equality
, pp. 187-201
-
-
Barrett, C.1
Dill, D.2
Levitt, J.3
-
4
-
-
38149123956
-
CVC3
-
Damm, W., Hermanns, H. (eds.) CAV 2007. Springer, Heidelberg
-
Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 298-302. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4590
, pp. 298-302
-
-
Barrett, C.1
Tinelli, C.2
-
5
-
-
48949090405
-
The barcelogic SMT solver
-
Gupta, A., Malik, S. (eds.) CAV 2008. Springer, Heidelberg
-
Bofill, M., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Rubio, A.: The barcelogic SMT solver. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 294-298. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5123
, pp. 294-298
-
-
Bofill, M.1
Nieuwenhuis, R.2
Oliveras, A.3
Rodríguez-Carbonell, E.4
Rubio, A.5
-
6
-
-
48949100787
-
The math-SAT 4 SMT solver
-
Gupta, A., Malik, S. (eds.) CAV 2008. Springer, Heidelberg
-
Bruttomesso, R., Cimatti, A., Franzén, A., Griggio, A., Sebastiani, R.: The math-SAT 4 SMT solver. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 299-303. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5123
, pp. 299-303
-
-
Bruttomesso, R.1
Cimatti, A.2
Franzén, A.3
Griggio, A.4
Sebastiani, R.5
-
7
-
-
77951556643
-
The OpenSMT Solver
-
Esparza, J., Majumdar, R. (eds.) TACAS 2010. Springer, Heidelberg
-
Bruttomesso, R., Pek, E., Sharygina, N., Tsitovich, A.: The OpenSMT Solver. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 150-153. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6015
, pp. 150-153
-
-
Bruttomesso, R.1
Pek, E.2
Sharygina, N.3
Tsitovich, A.4
-
8
-
-
45749085681
-
Z3: An Efficient SMT Solver
-
Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
-
de Moura, L., Bjørner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 337-340
-
-
De Moura, L.1
Bjørner, N.S.2
-
10
-
-
33749846787
-
A Fast Linear-Arithmetic Solver for DPLL(T)
-
Ball, T., Jones, R.B. (eds.) CAV 2006. Springer, Heidelberg
-
Dutertre, B., de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4144
, pp. 81-94
-
-
Dutertre, B.1
De Moura, L.2
-
11
-
-
30344450270
-
An Extensible SAT-solver
-
Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. Springer, Heidelberg
-
Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 333-336. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2919
, pp. 333-336
-
-
Eén, N.1
Sörensson, N.2
-
12
-
-
35048870724
-
-
Springer, Heidelberg
-
Ganzinger, H., Hagen, G., Nieuwenhuis, R., Oliveras, A., Tinelli, C.: DPLL(T): fast decision procedures, pp. 175-188. Springer, Heidelberg (2004)
-
(2004)
DPLL(T): Fast Decision Procedures
, pp. 175-188
-
-
Ganzinger, H.1
Hagen, G.2
Nieuwenhuis, R.3
Oliveras, A.4
Tinelli, C.5
-
13
-
-
0034852165
-
Chaff: Engineering an efficient sat solver
-
ACM, New York
-
Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: Annual Acm Ieee Design Automation Conference, pp. 530-535. ACM, New York (2001)
-
(2001)
Annual Acm Ieee Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
15
-
-
76749122870
-
Fast and flexible proof checking for SMT
-
ACM, New York
-
Oe, D., Reynolds, A., Stump, A.: Fast and flexible proof checking for SMT. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009, pp. 6-13. ACM, New York (2009)
-
(2009)
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009
, pp. 6-13
-
-
Oe, D.1
Reynolds, A.2
Stump, A.3
-
16
-
-
84937554711
-
CVC: A Cooperating Validity Checker
-
Brinksma, E., Larsen, K.G. (eds.) CAV 2002. Springer, Heidelberg
-
Stump, A., Barrett, C.W., Dill, D.L.: CVC: A Cooperating Validity Checker. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 500-504. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2404
, pp. 500-504
-
-
Stump, A.1
Barrett, C.W.2
Dill, D.L.3
|