×

Yices

swMATH ID: 4436
Software Authors: B. Dutertre; L. de Moura
Description: Yices is an efficient SMT solver that decides the satisfiability of arbitrary formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, scalar types, recursive datatypes, tuples, records, extensional arrays, fixed-size bit-vectors, quantifiers, and lambda expressions. Yices also does MaxSMT (and, dually, unsat cores) and is competitive as an ordinary SAT and MaxSAT solver.
Homepage: http://yices.csl.sri.com/
Keywords: SMT solver
Related Software: z3; SMT-LIB; CVC4; MiniSat; MathSAT5; cvc3; SIMPLIFY; Boolector; MathSAT; Chaff; Isabelle/HOL; STP; Coq; TPTP; VAMPIRE; AProVE; PVS; HOL Light; Isabelle; FOCI
Cited in: 154 Publications
all top 5

Cited by 331 Authors

7 Subramani, Krishnan
6 Barrett, Clark W.
6 Bofill, Miquel
6 Villaret, Mateu
5 Cimatti, Alessandro
5 Frohn, Florian
5 Giesl, Jürgen
5 Jovanović, Dejan
5 Ströder, Thomas
4 Blanchette, Jasmin Christian
4 Böhme, Sascha
4 Bromberger, Martin
4 Hensel, Jera
4 Sebastiani, Roberto
4 Shankar, Natarajan
4 Suy, Josep
4 Tinelli, Cesare
4 Weidenbach, Christoph
3 Ansótegui, Carlos
3 Biere, Armin
3 Brockschmidt, Marc
3 Chandrasekaran, Ramaswamy
3 Dutertre, Bruno
3 Fuhs, Carsten
3 Gallagher, John P.
3 Graham-Lengrand, Stéphane
3 Griggio, Alberto
3 Kafle, Bishoksan
3 Niemetz, Aina
3 Paulson, Lawrence Charles
3 Peltier, Nicolas
3 Preiner, Mathias
3 Reynolds, Andrew
3 Rodríguez-Carbonell, Enric
3 Roveri, Marco
3 Schneider-Kamp, Peter
3 Tiwari, Ashish Kumar
3 Zantema, Hans
2 Ábrahám, Erika
2 Aiken, Alex
2 Akgün, Özgür
2 Aschermann, Cornelius
2 Bjørner, Nikolaj S.
2 Bobot, François
2 Bonacina, Maria Paola
2 Borralleras, Cristina
2 Calvanese, Diego
2 Dillig, Isil
2 Dillig, Thomas
2 Echenim, Mnacho
2 Emmes, Fabian
2 Ganty, Pierre
2 Gawlitza, Thomas Martin
2 Gent, Ian Philip
2 Ghilardi, Silvio
2 Gianola, Alessandro
2 Irfan, Ahmed
2 Jung, Yungbum
2 Kremer, Gereon
2 Kuncak, Viktor
2 Lee, Wonchan
2 Lucas, Salvador
2 Lynch, Christopher A.
2 Manyà, Felip
2 Maratea, Marco
2 Micheli, Andrea
2 Monniaux, David P.
2 Montali, Marco
2 Moskal, Michał
2 Oliveras, Albert
2 Otto, Carsten
2 Palahí, Miquel
2 Plücker, Martin
2 Pulina, Luca
2 Rivkin, Andrey
2 Rubio, Albert
2 Rümmer, Philipp
2 Seshia, Sanjit Arunkumar
2 Søndergaard, Harald
2 Song, Xiaoyu
2 Strichman, Ofer
2 Stuckey, Peter James
2 Sturm, Thomas
2 Swiderski, Stephanie
2 Talcott, Carolyn L.
2 Thiemann, René
2 Wang, Bow-Yaw
2 Wojciechowski, Piotr J.
2 Yi, Kwangkeun
2 Zhou, Min
1 Alhiyafi, Jamal
1 Aoto, Takahito
1 Aravantinos, Vincent
1 Ayad, Ali
1 Back, Ralph-Johan
1 Banković, Milan
1 Bansal, Sorav
1 Baranowski, Marek
1 Bardin, Sébastien
1 Barsotti, Damián
...and 231 more Authors

Citations by Year