Category Archives: Constraint Programming

Christopher Columbus, global warming and mathematical optimization

In this highly popular article IBM’s Alex Fleischer wrote: “One of the levers is the mathematical optimization of business decision making, made possible by data and the deployment of decision models associated with constraint programming. Or, put more simply: an algorithm … Continue reading

Posted in Constraint Programming, Decision Making, Decision Optimization | Leave a comment

2022 is the Year of Prolog

In the summer of 1972, Alain Colmerauer and his team in Marseille developed and implemented the first version of the logic programming language Prolog. Together with Robert Kowalski and his colleagues in Edinburgh, this work laid the practical and theoretical … Continue reading

Posted in Constraint Programming, Events, Knowledge Representation, Languages, Logic and AI | Leave a comment

Connecting the Dots

If someone gives us a collection of points, how should we connect them? Should we try to pair them up? Should we try to join them together to form a single loop? Should we try something else? And once we’ve … Continue reading

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

Everything old is new again

Prof. Gene Freuder writes about Human-Centered AI: “human-centered”, “human-aware“, “human-AI collaboration” are, rightly, very prominent nowadays. But “everything old is new again”: I ran across an interesting twenty-year-old paper from the European Journal of Operational Research on Human centered processes and decision support … Continue reading

Posted in Business Rules, Constraint Programming, Decision Making, Human-Machine Interaction, Machine Learning | Leave a comment

Vaccination Scheduling Decisions

Geoffrey De Smet created a vaccination scheduling software. He discovered an interesting Vaccination Appointment Scheduling Paradox: It’s more user friendly if people can NOT choose their own appointment. Watch video

Posted in Constraint Programming, Coronavirus, Decision Modeling, Optimization, Scheduling and Resource Allocation | Leave a comment

Solving Assembly Line Balancing Problem

Philippe Laborie from IBM CPLEX team shared several models for representation and solving an optimization problem in assembly line balancing research. His solutions are shown in Python CP Optimizer and OPL: they are not only very compact but highly efficient. … Continue reading

Posted in Constraint Programming, Decision Optimization | Leave a comment

Consuming Optimization models for Operational Decisions

During DecisionCAMP-2020, we had several presentations devoted to incorporation of Optimization Engines in Business Decision Models: 1) Developing Decision Optimization Microservices for Real-World Decision-Making Applications by Jacob Feldman; 2)  cDMN: Combining DMN with Constraint Reasoning by a KU Leuven’s team.

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

The Poet of Logic Programming

An interview with Prof. Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and … Continue reading

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

New release of MiniZinc

MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language … Continue reading

Posted in Constraint Programming, Decision Optimization | Leave a comment