Results 1 to 11 of 11
Sort by:

  • CPLEX
  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • LINDO
  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...

  • Choco
  • Referenced in 65 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...

  • SLIDE
  • Referenced in 8 articles [sw08449]
  • SLIDE: A Useful Special Case of the CARDPATH...

  • SICStus
  • Referenced in 109 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...

  • HotCRP
  • Referenced in 1 article [sw13264]
  • HotCRP is conference management software: it accepts paper...

  • Easychair
  • Referenced in 45 articles [sw13265]
  • EasyChair is a conference management system that is...

  • cc(FD)
  • Referenced in 18 articles [sw21237]
  • Design, implementation, and evaluation of the constraint language...

  • FaCiLe
  • Referenced in 4 articles [sw31028]
  • FaCiLe: A functional constraint library. FaCiLe is a...