Category Archives: Constraint Programming

Constraint Modeling Challenge

Posted on August 19, 2025 by decisionmanagementcommunity

The annual MiniZinc Challenge celebrates the state of the art in constraint modelling and solving. Across the different problems, this year’s result once again highlighted the diversity of approaches, pushing the boundaries of what’s possible in modelling and solving complex problems. Here are … Continue reading →

Posted in Challenges, Constraint Programming, Optimization | Leave a comment

Combining AI and OR/MS for Better Trustworthy Decision Making

Posted on January 3, 2025 by decisionmanagementcommunity

An interesting event “Bridge: AI+ORMS” will occur on February 25-26, 2025 as a part of the 39th Annual AAAI Conference on Artificial Intelligence in Philadelphia USA. “The goal of this bridge program is to unite AI and OR/MS practitioners and … Continue reading →

Posted in Artificial Intelligence, Constraint Programming, Decision Making, Optimization | 1 Comment

Constraint Programming: MiniZinc Challenge Results

Posted on September 7, 2024 by decisionmanagementcommunity

Link

Posted in Constraint Programming, Optimization, Products | Leave a comment

Progress Towards the Holy Grail

Posted on June 12, 2024 by decisionmanagementcommunity

In 1996 Prof. Gene Freuder wrote the paper “In Pursuit of the Holy Grail” proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. For … Continue reading →

Posted in Artificial Intelligence, ChatGPT, Constraint Programming, Events, LLM | Leave a comment

Combining Constraint Solvers and LLMs

Posted on June 11, 2024 by decisionmanagementcommunity

David Ferrucci: “Ever wondered how AI can tackle complex enterprise problems with precision and reliability? By combining constraint solvers and LLMs, we can turn natural language into actionable knowledge that drives intelligent applications. This approach ensures that our solutions are … Continue reading →

Posted in Constraint Programming, LLM, Logic and AI | Leave a comment

Solvers for Scheduling and Routing Problems

Posted on April 16, 2024 by decisionmanagementcommunity

LocalSolver has been renamed to Hexaly which claims to be the world’s fastest optimization solver for Routing, Scheduling, and Packing problems. Link Check out also Timefold solver that handles the same problems and now inherited OptaPlanner after Red Hat announced … Continue reading →

Posted in Constraint Programming, Optimization, Scheduling and Resource Allocation, Vendors | Leave a comment

Family Riddle

Posted on December 29, 2023 by decisionmanagementcommunity

We decided to bring back a classic family riddle as a Jan-2024 Challenge as it requires some logical thinking. It will be interesting to see what our readers could do with such a problem today when along with traditional decision intelligence … Continue reading →

Posted in ChatGPT, Constraint Programming, Decision Intelligence, LLM, Rule Engines and BRMS | Leave a comment

Explainable Constraint Solving

Posted on September 28, 2023 by decisionmanagementcommunity

Explainable constraint solving is a sub-field of explainable AI (XAI) concerned with explaining constraint (optimization) problems. Although constraint models are explicit: they are written down in terms of individual constraints that need to be satisfied, the solution to such models … Continue reading →

Posted in Constraint Programming, Explanations | Leave a comment

Novel Decision Modeling Techniques (DC2023 Notes Part 2)

Posted on September 24, 2023 by decisionmanagementcommunity

There were two presentations at DecisionCAMP-2023 devoted to new ideas that extend traditional Decision Modeling and DMN-like tools in new directions: 1) Probabilistic reasoning when a decision model deals with uncertain facts about which we know only their probability; 2) Declarative … Continue reading →

Posted in Constraint Programming, Decision Intelligence, Decision Modeling, Decision Optimization, DecisionCAMP, Knowledge Representation, Reasoning, Rule Violations | Leave a comment

AI4OPT: AI for Optimization

Posted on July 10, 2023 by decisionmanagementcommunity

AI4OPT, NSF Artificial Intelligence Research Institute for Advances in Optimization, aims at delivering a paradigm shift in automated decision making at massive scales by fusing AI and Mathematical Optimization, to deliver breakthroughs that neither field can achieve independently. The Institute … Continue reading →

Posted in Artificial Intelligence, Constraint Programming, Decision Optimization, Optimization | Leave a comment