Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...