2864 search results - page 72 / 573 » Constraint Programming in OPL |
CPAIOR
2010
Springer
14 years 1 months ago
2010
Springer
We introduce an approach which combines ACO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). The problem is modeled using...
AI
2001
Springer
14 years 1 months ago
2001
Springer
ASP
2001
Springer
14 years 1 months ago
2001
Springer
RE
2001
Springer
14 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
AADEBUG
2000
Springer
14 years 1 months ago
2000
Springer
