CVC4 Cited in 174 Documents (2013–2023) Software Authors: Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C. Related Software: z3; SMT-LIB; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
cvc3 Cited in 79 Documents (2006–2022) Software Authors: Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King Related Software: z3; SMT-LIB; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
Boolector Cited in 36 Documents (2010–2022) Software Authors: Brummayer, Robert; Biere, Armin Related Software: z3; SMT-LIB; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Mcmt Cited in 27 Documents (2010–2023) Software Authors: Ghilardi S, Ranise S Related Software: Cubicle; SMT-LIB; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SYMBA Cited in 13 Documents (2014–2021) Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Related Software: z3; vZ; OptiMathSAT; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
ESBMC Cited in 4 Documents (2014–2020) Software Authors: University of Southampton, University of Stellenbosch, Federal University of Amazonas; Cordeiro, Lucas; Morse, Jeremy; Nicole, Denis; Fischer, Bernd Related Software: CBMC; LLBMC; BLAST; … Main Fields: Computer science (68-XX)
NLambda Cited in 8 Documents (2016–2022) Software Authors: Bartek Klin; Michał Szynwelski Related Software: LOIS; z3; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
bv2epr Cited in 7 Documents (2013–2018) Software Authors: Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin Related Software: STP; z3; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
c2i Cited in 6 Documents (2016–2022) Software Authors: Sharma, Rahul; Aiken, Alex Related Software: z3; Houdini; Spacer; … Main Fields: Computer science (68-XX)
LinAIG Cited in 6 Documents (2011–2016) Software Authors: Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris Related Software: z3; CUDD; SpaceEx; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ASASP Cited in 4 Documents (2012–2020) Software Authors: Alberti, Francesco; Armando, Alessandro; Ranise, Silvio Related Software: Mcmt; VERIFAS; Booster; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ASPMT2SMT Cited in 5 Documents (2014–2020) Software Authors: Bartholomew, Michael; Lee, Joohyung Related Software: Clingcon; WASP; DLV2; … Main Fields: Computer science (68-XX)
CVC4SY Cited in 5 Documents (2019–2022) Software Authors: Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Niemetz, Aina; Preiner, Mathias; Barrett, Clark; Tinelli, Cesare Related Software: CVC4; z3; MiniSat; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
HyComp Cited in 5 Documents (2017–2022) Software Authors: A. Cimatti, A. Griggio, S. Mover, S. Tonetta Related Software: nuXmv; CTIGAR; z3; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
fzn2smt Cited in 4 Documents (2012–2017) Software Authors: Bofill, M., Palahí, M., Suy, J., Villaret, M. Related Software: MiniZinc; Gecode; SCIP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Qex Cited in 3 Documents (2010–2011) Software Authors: Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan Related Software: MONA; z3; TPTP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
TSAT++ Cited in 3 Documents (2005–2008) Software Authors: Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco Related Software: CVC; SMT-LIB; Chaff; … Main Fields: Computer science (68-XX)
ARGO-LIB Cited in 2 Documents (2004) Software Authors: Marić, Filip; Janičić, Predrag Related Software: SMT-LIB; CVC Main Fields: Computer science (68-XX)
CLN2INV Cited in 2 Documents (2020–2021) Software Authors: Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana Related Software: nncontroller; Spacer; AI2; … Main Fields: Computer science (68-XX)
jSMTLIB Cited in 0 Documents Software Authors: David R. Cok Related Software: Dafny; JML; Frama-C; … Main Fields: –
MachSMT Cited in 2 Documents (2021–2022) Software Authors: Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay Related Software: MedleySolver; kepler98; PMTK; … Main Fields: Computer science (68-XX)
MedleySolver Cited in 2 Documents (2021–2022) Software Authors: Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A. Related Software: MachSMT; kepler98; PMTK; … Main Fields: Computer science (68-XX)
SMCHR Cited in 2 Documents (2012–2018) Software Authors: Duck, Gregory J. Related Software: Smallfoot; CBMC; SLAyer; … Main Fields: Computer science (68-XX)
BanditFuzz Cited in 1 Document (2022) Software Authors: Scott, J.; Sudula, T.; Rehman, H.; Mora, F.; Ganesh, V.; Huisman, M.; Păsăreanu, C.; Zhan, N. Related Software: VAMPIRE; AVATAR; randoCoP; … Main Fields: Computer science (68-XX)
CoSA Cited in 0 Documents Software Authors: Mattarei, C., Mann, M., Barrett, C., et al. Related Software: googletest; Yosys; z3; … Main Fields: –
DSValidator Cited in 1 Document (2018) Software Authors: Chaves, Lennon; Bessa, Iury; Cordeiro, Lucas; Kroening, Daniel Related Software: Matlab; DSVerifier; CBMC; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
expansion-network Cited in 1 Document (2020) Software Authors: Réda, Clémence; Wilczyński, Bartek Related Software: GitHub; MaBoSS; REDfly; … Main Fields: Biology and other natural sciences (92-XX)
GameTime Cited in 0 Documents Software Authors: Seshia, Sanjit A.; Kotker, Jonathan Related Software: – Main Fields: –
metaSMT Cited in 1 Document (2021) Software Authors: Riener, H. Related Software: CVC4; SMT Kit; BtorMC; … Main Fields: Computer science (68-XX)
SMT-Exec Cited in 0 Documents Software Authors: Stump, A., Deters, M. Related Software: SMT-LIB; StarExec; TPTP; … Main Fields: Computer science (68-XX)