Blogs about: Constraint Programming
Featured Blog
Microsoft Solver Foundation
In general, I will endeavor to minimize blogrolling and marketing in this blog. That said, those of us in the rules space often have interests in areas such as constraint programming and linear progra… more →
Blessin In Disguise
Snapple Fact 804: How Many Ways to Make Change for a Dollar?
wrote 3 months ago: I went camping this past weekend (my first time) and my neighbor (who’s actually my neighbor i … more →
Quick and Easy Tabled CLP(R) for Model Checking
wrote 4 months ago: Here I will explain on how to write a constraint model checker in CLP(R). I would rather say symboli … more →
Re-presentation of the paper: Bayesian network learning by compiling to weighted MAX-SAT
wrote 6 months ago: This paper is written by James Cussen. I presented it for a Constraint Programming course and though … more →
What is occam's razor?
wrote 6 months ago: … more →
JavaOne 2012 - Day 1
wrote 7 months ago: Unfortunately, as I feared, this first day of JavaOne started very early for me. I woke up at 4AM an … more →
Introduction to Constraint Programming presentation by "me"
wrote 7 months ago: … more →
Another tutorial of Constraint Programming!
wrote 8 months ago: Here is the first part of it: and the second part: … more →
Advanced Planning & Scheduling Supply Chain Consultant Job opening
wrote 9 months ago: AurionPro Solutions Leading Global IT Consulting Services. We’ve Urgent requirement with one of our … more →
Success stories in the field of Constraint Programming
wrote 9 months ago: I was trying to find a paper about application of constraint programming in load disaggregation and … more →
An online constraint programming course by Helmut Simonis
wrote 9 months ago: The title is self explanatory, just go to the following website and enjoy! (videos of lectures are i … more →
The Simply-typed Lambda Calculus with Constraints
— 8 comments
wrote 1 year ago: Here’s the syntax for the simply-typed lambda calculus (STLC): Here are the typing rules, writ … more →
How Should Santa Pair Up His Reindeer?
— 5 comments
wrote 1 year ago: It’s almost Christmas time and Santa is probably very busy with some last-minute preparations … more →
Representing and Solving Rule-Based Decision Models with Constraint Solvers
wrote 1 year ago: The latest rules conferences RulesFest-2011, BBC-2011, and RuleML-2011 were really great events in g … more →
The Joy of Baking (Optimally)
— 11 comments
wrote 2 years ago: ‘Tis the season of baking all kinds of things: cookies, cakes, breads, brownies, pies, and my … more →
Rule Solver is now JSR-331 Compliant
wrote 2 years ago: OpenRules has announced that its redesigned Rule Solver™ is now JSR-331 compliant. Rule Solver™ is a … more →
In search of the Holy Grail
wrote 2 years ago: Constraint Programming represents one of the closest approaches computer science has yet made to the … more →
Propagation dans Comet
wrote 3 years ago: Assignment 2 Implementing propagators An AC3 propagator : to implement a propagator for the constrai … more →
Let's Join O.R. Forces to Crack the 17x17 Challenge
— 6 comments
wrote 3 years ago: I recently came across this post by bit-player, which refers to this post by William Gasarch, on a v … more →
Introducing CuSPLIB
— 2 comments
wrote 3 years ago: A couple of colleagues and I are doing research on single-machine cumulative scheduling problems (Cu … more →
