ViewTube

An inner function can act as a closure. This is a function that is dynamically generated by another function and can both change ...

When it comes to making the code more modular and reusable, generic types will feel like magic! But, don't take my word for it, ...

The first-fail principle is the one that will guide all the black box search ideas. An easy instantiation of this principle is to select the ...

We have seen the constraint-store and the fix-point theoretical idea. Now comes the time to translate it into a concrete ...

Those variables are very important for logical constraints but in some contexts we would like to consider them as 0/1 variables to ...

Now starts the serious stuff: filtering the table constraint. The good news is that we can achieve domain consistency.

The AllDifferent is a constraint enforcing that all variables take a different value. Are we able to model this constraint using simpler ...