-
nauty
- Referenced in 609 articles
[sw00611]
- graph-theoretic program NAUTY: nauty is a program...
-
KRIPKE
- Referenced in 8 articles
[sw01162]
- The relevant logics E, R and N R...
-
CVX
- Referenced in 845 articles
[sw04594]
- CVX is a modeling system for constructing and...
-
INTOPT_90
- Referenced in 306 articles
[sw04705]
- Rigorous global search: continuous problems The monograph gives...
-
GitHub
- Referenced in 2766 articles
[sw23170]
- GitHub (originally known as Logical Awesome LLC)[3...