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