Propagating N-Ary Rigid-Body Constraints

In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The variables to restrict are the positions (x, y, and z coordinates) of the points, and we assume the variable domains are cuboids, with the faces parallel to the coordinate axes. This algorithm is part of PSICO (Processing Structural Information with Constraint programming and Optimisation), a method we are developing to integrate experimental and theoretical data to solve protein structures [1,2]. We also present some preliminary results, and explain how this algorithm can be used to combine theoretical information such as secondary structure prediction or homology modelling with Nuclear Magnetic Resonance (NMR) data.

• Type: Conference
• Year: 2003
• Where: CP
• Authors: Ludwig Krippahl, Pedro Barahona
• Keywords: Algorithm, CP 2003, N-ary Constraint, Programming Languages, Three-dimensional Rigid Group