×

Found 21 Software Packages (Results 1–21)

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:

Filter Results by …

all top 5

Related Software

all top 3

Main Field