×

zbMATH — the first resource for mathematics

Barrett, Clark W.

Compute Distance To:
Author ID: barrett.clark-w Recent zbMATH articles by "Barrett, Clark W."
Published as: Barrett, Clack; Barrett, Clark; Barrett, Clark W.
External Links: MGP
Documents Indexed: 47 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 220 times in 154 Documents Cited by Year
Splitting on demand in SAT modulo theories. Zbl 1165.68480
Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
21
2006
CVC Lite: A new implementation of the cooperating validity checker – Category B. Zbl 1103.68605
Barrett, Clark; Berezin, Sergey
20
2004
CVC: A cooperating validity checker. Zbl 1010.68720
Stump, Aaron; Barrett, Clark W.; Dill, David L.
18
2002
Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531
Barrett, Clark W.; Dill, David L.; Stump, Aaron
18
2002
Solving quantified verification conditions using satisfiability modulo theories. Zbl 1213.68376
Ge, Yeting; Barrett, Clark; Tinelli, Cesare
15
2007
A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109
Barrett, Clark W.; Dill, David L.; Stump, Aaron
12
2002
Satisfiability modulo theories. Zbl 1392.68379
Barrett, Clark; Tinelli, Cesare
11
2018
Cooperating theorem provers: a case study combining HOL-Light and CVC Lite. Zbl 1272.68362
Mclaughlin, Sean; Barrett, Clark; Ge, Yeting
10
2006
An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022
Barrett, Clack; Shikanian, Igor; Tinelli, Cesare
9
2007
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
8
2013
Polite theories revisited. Zbl 1306.68147
Jovanović, Dejan; Barrett, Clark
8
2010
SMT-COMP: Satisfiability modulo theories competition. Zbl 1081.68607
Barrett, Clark; Moura, Leonardo; Stump, Aaron
8
2005
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059
Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark
7
2015
Solving quantified verification conditions using satisfiability modulo theories. Zbl 1184.68461
Ge, Yeting; Barrett, Clark; Tinelli, Cesare
7
2009
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
Sharing is caring: combination of theories. Zbl 1348.68220
Jovanović, Dejan; Barrett, Clark
5
2011
An abstract decision procedure for satisfiability in the theory of recursive data types. Zbl 1277.68132
Barrett, Clark; Shikanian, Igor; Tinelli, Cesare
5
2007
A new decision procedure for finite sets and cardinality constraints in SMT. Zbl 06623255
Bansal, Kshitij; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare
4
2016
A framework for cooperating decision procedures. Zbl 0963.68177
Barrett, Clark W.; Dill, David L.; Stump, Aaron
4
2000
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005). Zbl 1104.68719
Barrett, Clark; de Moura, Leonardo; Stump, Aaron
3
2005
A decision procedure for regular membership and length constraints over unbounded strings. Zbl 06688812
Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark
2
2015
Fine grained SMT proofs for the theory of fixed-width bit-vectors. Zbl 06528792
Hadarean, Liana; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare; Deters, Morgan
2
2015
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Zbl 1129.68498
Barrett, Clark; de Moura, Leonardo; Stump, Aaron
2
2007
Relational constraint solving in SMT. Zbl 06778402
Meng, Baoluo; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark
1
2017
Being careful about theory combination. Zbl 1284.68518
Jovanović, Dejan; Barrett, Clark
1
2013
Pointer analysis, conditional soundness, and proving the absence of errors. Zbl 1149.68348
Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark
1
2008
Satisfiability modulo theories. Zbl 1392.68379
Barrett, Clark; Tinelli, Cesare
11
2018
Relational constraint solving in SMT. Zbl 06778402
Meng, Baoluo; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark
1
2017
A new decision procedure for finite sets and cardinality constraints in SMT. Zbl 06623255
Bansal, Kshitij; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare
4
2016
Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059
Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark
7
2015
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
A decision procedure for regular membership and length constraints over unbounded strings. Zbl 06688812
Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark
2
2015
Fine grained SMT proofs for the theory of fixed-width bit-vectors. Zbl 06528792
Hadarean, Liana; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare; Deters, Morgan
2
2015
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
8
2013
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
Being careful about theory combination. Zbl 1284.68518
Jovanović, Dejan; Barrett, Clark
1
2013
Sharing is caring: combination of theories. Zbl 1348.68220
Jovanović, Dejan; Barrett, Clark
5
2011
Polite theories revisited. Zbl 1306.68147
Jovanović, Dejan; Barrett, Clark
8
2010
Solving quantified verification conditions using satisfiability modulo theories. Zbl 1184.68461
Ge, Yeting; Barrett, Clark; Tinelli, Cesare
7
2009
Pointer analysis, conditional soundness, and proving the absence of errors. Zbl 1149.68348
Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark
1
2008
Solving quantified verification conditions using satisfiability modulo theories. Zbl 1213.68376
Ge, Yeting; Barrett, Clark; Tinelli, Cesare
15
2007
An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022
Barrett, Clack; Shikanian, Igor; Tinelli, Cesare
9
2007
An abstract decision procedure for satisfiability in the theory of recursive data types. Zbl 1277.68132
Barrett, Clark; Shikanian, Igor; Tinelli, Cesare
5
2007
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Zbl 1129.68498
Barrett, Clark; de Moura, Leonardo; Stump, Aaron
2
2007
Splitting on demand in SAT modulo theories. Zbl 1165.68480
Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
21
2006
Cooperating theorem provers: a case study combining HOL-Light and CVC Lite. Zbl 1272.68362
Mclaughlin, Sean; Barrett, Clark; Ge, Yeting
10
2006
SMT-COMP: Satisfiability modulo theories competition. Zbl 1081.68607
Barrett, Clark; Moura, Leonardo; Stump, Aaron
8
2005
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005). Zbl 1104.68719
Barrett, Clark; de Moura, Leonardo; Stump, Aaron
3
2005
CVC Lite: A new implementation of the cooperating validity checker – Category B. Zbl 1103.68605
Barrett, Clark; Berezin, Sergey
20
2004
CVC: A cooperating validity checker. Zbl 1010.68720
Stump, Aaron; Barrett, Clark W.; Dill, David L.
18
2002
Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531
Barrett, Clark W.; Dill, David L.; Stump, Aaron
18
2002
A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109
Barrett, Clark W.; Dill, David L.; Stump, Aaron
12
2002
A framework for cooperating decision procedures. Zbl 0963.68177
Barrett, Clark W.; Dill, David L.; Stump, Aaron
4
2000
all top 5

Cited by 299 Authors

15 Barrett, Clark W.
13 Tinelli, Cesare
12 Reynolds, Andrew
7 Bonacina, Maria Paola
7 Fontaine, Pascal
6 Blanchette, Jasmin Christian
6 Ranise, Silvio
6 Sebastiani, Roberto
5 Bruttomesso, Roberto
5 Ghilardi, Silvio
5 Stump, Aaron
4 de Moura, Leonardo
4 Déharbe, David
4 Deters, Morgan
4 Echenim, Mnacho
4 Kröning, Daniel
4 Kuncak, Viktor
4 Ringeissen, Christophe
4 Strichman, Ofer
3 Ábrahám, Erika
3 Alberti, Francesco
3 Bansal, Kshitij
3 Böhme, Sascha
3 Cimatti, Alessandro
3 Conchon, Sylvain
3 Demri, Stéphane P.
3 Griggio, Alberto
3 Krstic, Sava A.
3 Sharygina, Natasha
2 Barbosa, Haniel
2 Biere, Armin
2 Bozzano, Marco
2 Bromberger, Martin
2 Chistikov, Dmitry V.
2 Chocron, Paula
2 Czerwiński, Wojciech
2 De Oliveira, Diego Caminha B.
2 Giunchiglia, Enrico
2 Grégoire, Benjamin
2 Gu, Ming
2 Hofman, Piotr
2 Iosif, Radu
2 Janota, Mikoláš
2 Järvisalo, Matti
2 Johansson, Moa
2 Jovanović, Dejan
2 Junttila, Tommi A.
2 Kremer, Gereon
2 Liang, Tianyi
2 Lierler, Yuliya
2 Lynch, Christopher A.
2 Maratea, Marco
2 Marques-Silva, João P.
2 Meier, Andreas
2 Meseguer Guaita, José
2 Nguyen, Huu Hai
2 Pagani, Elena
2 Paulson, Lawrence Charles
2 Pilipczuk, Michał
2 Pnueli, Amir
2 Shankar, Natarajan
2 Siegel, Stephen F.
2 Skeirik, Stephen
2 Sorge, Volker
2 Sturm, Thomas F.
2 Tran, Duc-Khanh
2 Tsiskaridze, Nestan
2 van Rossum, Peter
2 Weber, Tjark
2 Wehar, Michael
2 Weidenbach, Christoph
2 Wies, Thomas
2 Zarba, Calogero G.
2 Zirkel, Timothy K.
1 Alur, Rajeev
1 Amjad, Hasan
1 Armand, Michaël
1 Armando, Alessandro
1 Aspinall, David
1 Badban, Bahareh
1 Bardin, Sébastien
1 Barsotti, Damián
1 Barthe, Gilles
1 Baumgartner, Peter
1 Becker, Bernd
1 Besson, Frédéric
1 Bhattacharyya, Arnab
1 Blech, Jan Olaf
1 Bobot, François
1 Bouissou, Olivier
1 Bozga, Marius
1 Brain, Martin
1 Bryant, Randal E.
1 Bunel, Rudy
1 Burel, Guillaume
1 Bury, Guillaume
1 Cai, Dunbo
1 Cañete-Valdeón, José M.
1 Casal, Filipe
1 Castellini, Claudio
...and 199 more Authors

Citations by Year