• nauty

  • Referenced in 571 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • 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...