We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used; indeed, they are one of the key reasons for the success of constraint programming in solving real-world problems. Previous work has focused on the development of ...

During the recent decades with increasing the use of assisted reproductive techniques including IVF, IUI and ovulation induction, the rate of multiple pregnancies has been increased worldwide. More than 30% of ART pregnancies are twins or higher-order multiple gestations (triplets or greater) a frequency 15- to 20-fold greater than with spontaneous conceptions. Because of the high cost of treat...

This paper develops and defends a coherentist account of reasons. I develop three core ideas for this defense: a distinction between basic reasons and noninferential justification, the plausibility of the neglected argument against first philosophy, and an emergent account of reasons. These three ideas form the backbone for a credible coherentist view of reasons. I work toward this account by f...

This study considered the production economics of coffee in Pakuwa village development committee of Parbat district, Nepal. Household Survey was done in June 2014. Data collection was done using semi-structured pre-tested questionnaire administered on 40 coffee producers selected randomly. Gross margin analysis, profitability index and the benefit-cost ratio was used to analyze the production e...

Why do existing parallelizing compilers and environments fail to parallelize many realistic FORTRAN programs? One of the reasons is that these programs contain a number of linearized array references, such as A(M*N*i+N*j+k) or A(i*(i+1)/2+j). Performing exact dependence analysis for these references requires testing polynomial constraints for integer solutions. Most existing dependence analysis...

Engineering design process has an evolutionary and iterative nature as design artifacts develop through series of changes before the final solution is achieved. Design is performed based on design requirements which are mainly specified as restrictions on the properties of the design artifact, and are considered to be design constraints. A common problem encountered during the design process is...

this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control p...

we design a two-stage scheme to consider trajectory planning problem of two mobile manipulators for cooperative transportation of a rigid body in presence of static obstacles. within the first stage, regarding the static obstacles we develop a method that searches the workspace for the shortest possible path between start and goal configurations by constructing a graph on a portion of the confi...