Home

Toby__Walsh


Depth-bounded discrepancy search

Permutation problems and channelling constraints

Proof planning in Maple

Stochastic constraint programming

The constrainedness knife-edge