Constraint solving is widely applied to many fields including computer aided design, 2 dimension (2D) model design and computer aided manufacturing. Geometric constraint solution is a difficult problem because there are a large number of entities and related parameters in 2D sketches. In this paper, a new method which decomposes geometric constraint relations based on entity-parameter graphs is...

The extended constraint equations arise as a special case of the conformal constraint equations that are satisfied by an initial data hypersurface Z in an asymptotically simple space-time satisfying the vacuum conformal Einstein equations developed by H. Friedrich. The extended constraint equations consist of a quasi-linear system of partial differential equations for the induced metric, the se...

We propose a new algorithm for general constrained derivative-free optimization. As in most methods, constraint violations are aggregated into a single constraint violation function. As in filter methods, a threshold, or barrier, is imposed on the constraint violation function, and any trial point whose constraint violation function value exceeds this threshold is discarded from consideration. ...

Constraint programming is an appealing technology to use for vehicle routing problems. Traditional linear programming models do not have the exibility or generality required by businesses wishing to model complex side constraints. This paper describes how a constraint programming framework for vehicle routing problems was implemented using ILOG Solver. A method for incorporating local search in...

This paper proposes a method for constraint detection using only proprioceptive data. This method for constraint detection was tested on a pre-existing data set and was found to be able to detect insertions. Two additional experiments were performed. The first showed that the constraint detection algorithm can be used to associate an action with an event. The second experiment implemented a lea...

the study focused on the analysis of production and marketing constraints of tomato among rural farmers in talensi nabdam district of upper east region of ghana.a total of 100 respondents were interviewed using questionnaire. data was analyzed using descriptive statistics to describe the socio economic characteristics of the farmers and kendall’s coefficient of concordance was used to rank the ...

We present in this paper a method allowing to structure a constraint store by modifying the constraint granularity. This allows to inspect the store, which is according to us a key-point in debugging and profiling CLP programs. The method relies on properties of constraint narrowing operators and of the propagation algorithm. A theoretical framework is given, along with an example showing a use...

We present a method for achieving geometrical constraint stabilization for a linear-complementarity-based time-stepping scheme for rigid multibody dynamics with joints, contact, and friction. The method requires the solution of only one linear complementarity problem per step. The method depends on an adjustable parameter γ, but the constraint stabilization effect is shown to hold for any γ ∈ (...

In this paper we outline a theoretical framework for the combination of decision procedures for the satis ability of constraints with respect to a constraint theory. We describe a general combination method which, given a procedure that decides constraint satis ability with respect to a constraint theory T1 and one that decides constraint satis ability with respect to a constraint theory T2, is...