Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub

Cited in:	39 Publications (2009–2022)
Related Software:	Clingo; clasp; Gringo; WASP; ezcsp; MiniSat; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Ghilardi S, Ranise S

Cited in:	23 Publications (2010–2022)
Related Software:	SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean

Cited in:	20 Publications (2011–2020)
Related Software:	Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Corzilius, F., Kremer, G., Junges, S., Schupp, S., Ábrahám, E.

Cited in:	19 Publications (2013–2022)
Related Software:	SMT-LIB; CVC4; z3; QEPCAD; MathSAT5; raSAT; …
Main Fields:	Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Real functions (26-XX)

Software Authors:   D. Monniaux

Cited in:	14 Publications (2011–2022)
Related Software:	MiniSat; z3; Spacer; QUBE; sQueezeBF; SIMPLIFY; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Marco Gario, Andrea Micheli

Cited in:	12 Publications (2017–2022)
Related Software:	z3; Yices; MathSAT5; SymPy; CVC4; SMT-LIB; …
Main Fields:	Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Software Authors:   Redivo-Zaglia, Michela; Rodriguez, Giuseppe

Cited in:	13 Publications (2008–2019)
Related Software:	Regularization tools; Matlab; drsolve; na31; hubauth; OPQ; …
Main Fields:	Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

Software Authors:   N. Bjørner, A.-D. Phan, L. Fleckenstein

Cited in:	14 Publications (2015–2021)
Related Software:	z3; OptiMathSAT; SYMBA; MathSAT5; SMT-LIB; Yices; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   De Angelis E, Fioravanti F, Pettorossi A, Proietti M

Cited in:	12 Publications (2015–2022)
Related Software:	z3; SeaHorn; TRACER; Spacer; CVC4; ARMC; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Sanjit Seshia

Cited in:	9 Publications (2010–2021)
Related Software:	Yices; z3; CVC4; MathSAT; Boolector; MiniSat; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy

Cited in:	9 Publications (2014–2022)
Related Software:	Apron; PPL; HyTech; PHAVer; Sawja; ASTREE; …
Main Fields:	Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Software Authors:   Khanh, T.V., Ogawa, M.

Cited in:	9 Publications (2016–2022)
Related Software:	SMT-RAT; CVC4; z3; Yices; SMT-LIB; dReal; …
Main Fields:	Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.

Cited in:	8 Publications (2013–2019)
Related Software:	dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Bartek Klin; Michał Szynwelski

Cited in:	8 Publications (2016–2022)
Related Software:	LOIS; z3; Haskell; Ons; SETL; Sigma*
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin

Cited in:	7 Publications (2013–2018)
Related Software:	STP; z3; Yices; NuSMV; SMT-LIB; Boolector; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias

Cited in:	4 Publications (2013–2021)
Related Software:	Java PathFinder; TestEra; Korat; GitHub; Kodkod; DynAlloy; …
Main Fields:	Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Software Authors:   Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu

Cited in:	6 Publications (2017–2023)
Related Software:	Z3str3; HAMPI; CVC4; Stranger; z3; Norn; …
Main Fields:	Computer science (68-XX)

Software Authors:   Claessen, Koen; Rosén, Dan

Cited in:	5 Publications (2015–2021)
Related Software:	ILTP; BDDTab; InKreSAT; Coq; Gen2sat; GoedelGod; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Graham-Lengrand, Stéphane

Cited in:	5 Publications (2013–2020)
Related Software:	Isabelle; intuit; ILTP; TRAMP; GAPT; Easychair; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.

Cited in:	5 Publications (2010–2020)
Related Software:	MiniZinc; Yices; SMT-LIB; MiniSat; FlatZinc; z3; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy

Cited in:	4 Publications (2016–2017)
Related Software:	Sat4j; MaxHS; MiniMaxSat; CCLS; QMaxSAT; SMAC; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.

Cited in:	4 Publications (2012–2017)
Related Software:	MiniZinc; Gecode; SCIP; Essence; COMET; FlatZinc; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   K. Scheibler, S. Kupferschmid, B. Becker

Cited in:	4 Publications (2015–2017)
Related Software:	SMT-RAT; MathSAT5; CVC4; z3; MiniSat; OpenSMT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Altisen K, Moy M

Cited in:	2 Publications (2014–2016)
Related Software:	CATS; COINC; LUSTRE; gem5; LLVM; Uppaal; …
Main Fields:	Computer science (68-XX)

Software Authors:   Guillaume Bury

Cited in:	1 Publication (2020)
Related Software:	Zenon; TPTP; dedukti; Zipperposition; E Theorem Prover; ekstrakto; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Horáček, Jan; Kreuzer, Martin

Cited in:	2 Publications (2018)
Related Software:	LELA; GBLA; antom; ApCoCoA; FGb; PolyBoRi; …
Main Fields:	General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Cheng CH, Shankar N, Ruess H, Bensalem S

Cited in:	2 Publications (2016–2019)
Related Software:	z3; Yices; SMT-RAT; OptiMathSAT; vZ; raSAT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Rocha, Camilo; Meseguer, José

Cited in:	2 Publications (2014–2020)
Related Software:	Maude; PKind; HyComp; SeaHorn; Maude-NPA; Mcmt; …
Main Fields:	Computer science (68-XX)

Software Authors:   Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark

Cited in:	1 Publication (2021)
Related Software:	googletest; z3; PySMT; MathSAT5; Cython; CVC4; …
Main Fields:	Computer science (68-XX)

Software Authors:   Marescotti, Matteo; Hyvärinen, Antti E. J.; Sharygina, Natasha

Cited in:	2 Publications (2018–2020)
Related Software:	OpenSMT2; TreeAutomizer; MathSAT5; StarExec; Yices; APT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh

Cited in:	2 Publications (2017–2020)
Related Software:	MiniSat; ABC; MathSAT5; CVC4; CUDD; Yices; …
Main Fields:	Computer science (68-XX)

Software Authors:   Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp

Cited in:	2 Publications (2018–2021)
Related Software:	STP; OptiMathSAT; vZ; SYMBA; Boolector; SONOLAR; …
Main Fields:	Computer science (68-XX)

Software Authors:   Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.

Cited in:	2 Publications (2019–2020)
Related Software:	CVC4; Why3; MiniSat; LIBSVM; sunny-cp; Boogie; …
Main Fields:	Computer science (68-XX)

Software Authors:   –

Cited in:	2 Publications (2018–2021)
Related Software:	JaCoCo; MLBSE; jCUTE; GitHub; Java PathFinder; Pex; …
Main Fields:	Computer science (68-XX)

Software Authors:   Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao

Cited in:	1 Publication (2021)
Related Software:	NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields:	Computer science (68-XX)

Software Authors:   Loup, Ulrich; Ábrahám, Erika

Cited in:	1 Publication (2011)
Related Software:	ABsolver; OpenSMT; GiNaCRA; z3; cvc3
Main Fields:	Computer science (68-XX)

Software Authors:   Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer

Cited in:	1 Publication (2016)
Related Software:	Mjollnir; PAGAI; FOCI; Chaff; z3; Frama-C; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Zohar, Y., Irfan, A., Mann, M., Nötzli, A., Reynolds, A., Barrett, C.

Cited in:	1 Publication (2021)
Related Software:	CVC4; SMT Kit; BtorMC; metaSMT; Pono; SBV; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kähkönen, K.; Launiainen, T.; Saarikivi, O.; Kauttio, J.; Heljanko, K.; Niemelä, I

Cited in:	1 Publication (2016)
Related Software:	LLVM; STP; jCUTE; SMACK; BoogiePL; LCTD; …
Main Fields:	Computer science (68-XX)

Software Authors:   Andrea Callia D'Iddio, Michael Huth

Cited in:	0 Publications
Related Software:	OSiL; BARON; LINDOGlobal; MathSAT; PySMT; MINOS; …
Main Fields:	–

Software Authors:   Riener, H.

Cited in:	1 Publication (2021)
Related Software:	CVC4; SMT Kit; BtorMC; lazybv2int; Pono; SBV; …
Main Fields:	Computer science (68-XX)

Software Authors:   ConsenSys

Cited in:	1 Publication (2021)
Related Software:	Why3; solgraph; EthVer; Manticore; GitHub; WhyML; …
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Jan Haltermann, Heike Wehrheim

Cited in:	0 Publications
Related Software:	–
Main Fields:	–