- Referenced in 2766 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 552 articles
- LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
- Referenced in 25 articles
- WSAT(OIP) is a domain-independent local search...
- Referenced in 65 articles
- CHOCO is a java library for constraint satisfaction...
- Referenced in 109 articles
- SICStus Prolog has evolved for nearly 25 years...
- Referenced in 18 articles
- Design, implementation, and evaluation of the constraint language...
- Referenced in 4 articles
- FaCiLe: A functional constraint library. FaCiLe is a...