AGG Cited in 70 Documents (1994–2023) Software Authors: Gabriele Taentzer Related Software: GROOVE; PROGRES; AToM3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
VIKOR Cited in 42 Documents (2007–2022) Software Authors: Opricovic, Serafim; Tzeng, Gwo-Hshiung Related Software: MADM; PROMETHEE-MD; ELECTRE; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Pueblo Cited in 33 Documents (1998–2021) Software Authors: Sheini, Hossein M.; Sakallah, Karem A. Related Software: MiniSat; Chaff; Sat4j; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
L2Roe Cited in 16 Documents (2016–2023) Software Authors: K. Oßwald, A. Siegmund, P. Birken, V. Hannemann, A. Meister Related Software: AUSM; HE-E1GODF; FLICA-OVAP; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
MathCheck Cited in 13 Documents (2015–2021) Software Authors: Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof; Zulkoski, Edward Related Software: Lynx; Maple; FFTW; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
versat Cited in 12 Documents (2012–2022) Software Authors: Oe, Duckki; Stump, Aaron; Oliver, Corey; Clancy, Kevin Related Software: Isabelle/HOL; Coq; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CalCS Cited in 8 Documents (2013–2019) Software Authors: Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L. Related Software: dReal; z3; dReach; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX); …
CLAN Cited in 7 Documents (2009–2017) Software Authors: Stephen Fenech, Gordon J. Pace, Gerardo Schneider Related Software: AnaCon; LegalRuleML; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Program-Conflict-Analysis Cited in 5 Documents (2008–2018) Software Authors: Lammich, Peter; Müller-Olm, Markus Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; … Main Fields: Computer science (68-XX)
SAT Solver Verification Cited in 5 Documents (2009–2018) Software Authors: Filip Maric Related Software: Archive Formal Proofs; Chaff; MiniSat; … Main Fields: Computer science (68-XX)
Velodrome Cited in 5 Documents (2009–2017) Software Authors: Flanagan C, Freund SN, Yi J Related Software: Atomizer; SingleTrack; Checkfence; … Main Fields: Computer science (68-XX)
QMiraXT Cited in 4 Documents (2012–2016) Software Authors: Lewis, M., Schubert, T., Becker, B. Related Software: PicoSAT; MPIDepQBF; SATO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CYCLADES Cited in 3 Documents (2018–2019) Software Authors: Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht Related Software: HOGWILD; MovieLens; D-ADMM; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Mousetrap Cited in 2 Documents (2018) Software Authors: Kieslich, P. J.; Henniger, F. Related Software: MouseTracker; KFAS; ggmcmc; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
UMLsec Cited in 1 Document (2018) Software Authors: Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S Related Software: Bouncy Castle; MJ; JavaSPI; … Main Fields: Computer science (68-XX)
AnaCon Cited in 2 Documents (2013–2017) Software Authors: Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo Related Software: CLAN; LegalRuleML; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FourierSAT Cited in 2 Documents (2021) Software Authors: Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei Related Software: Lingeling; Plingeling; Walksat; … Main Fields: Computer science (68-XX)
DPMF Cited in 1 Document (2009) Software Authors: Yu, Chiu-Man; Ng, Kam-Wing Related Software: – Main Fields: Computer science (68-XX)
MOBY Cited in 1 Document (2001) Software Authors: H. Fleischhack; U. Lichtblau Related Software: Gina; LOOPN++; THORNs Main Fields: Computer science (68-XX)
SSAM Cited in 1 Document (2021) Software Authors: Federal Highway Administration Related Software: FactoClass; dendextend; VISSIM; … Main Fields: Statistics (62-XX)
episens Cited in 0 Documents Software Authors: N. Orsini, R. Bellocco, M. Bottai, A. Wolk, S. Greenland Related Software: – Main Fields: –