-
nauty
- Referenced in 571 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 734 articles
[sw04594]
- CVX is a modeling system for constructing and...
-
INTOPT_90
- Referenced in 304 articles
[sw04705]
- Rigorous global search: continuous problems The monograph gives...
