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 all top 5 Cited in 33 Serials 13 Formal Methods in System Design 12 Journal of Automated Reasoning 5 Formal Aspects of Computing 5 Constraints 5 Logical Methods in Computer Science 4 Artificial Intelligence 4 Theoretical Computer Science 3 Annals of Mathematics and Artificial Intelligence 3 Theory and Practice of Logic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Theory of Computing Systems 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Discrete Applied Mathematics 1 Fuzzy Sets and Systems 1 Performance Evaluation 1 Journal of Symbolic Computation 1 Computers & Operations Research 1 AI Communications 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Global Optimization 1 Complexity 1 Journal of Heuristics 1 Soft Computing 1 Journal of Integer Sequences 1 Journal of Applied Logic 1 Discrete Optimization 1 Acta Universitatis Sapientiae. Informatica 1 Journal of Formalized Reasoning 1 Science China. Information Sciences 1 Frontiers of Computer Science 1 Computer Science Review all top 5 Cited in 13 Fields 140 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 19 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Real functions (26-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year