- Referenced in 571 articles
- graph-theoretic program NAUTY: nauty is a program...
- Referenced in 8 articles
- The relevant logics E, R and N R...
- Referenced in 734 articles
- CVX is a modeling system for constructing and...
- Referenced in 304 articles
- Rigorous global search: continuous problems The monograph gives...