Category Archives: Constraint Programming

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