We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unitpropagation in the ASP solver achieves well defined local consistency properties like arc, bound and range consistency. Experiments demonstrate the computational value of this approach.

A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure S has a core, i.e., S has an endomorphism e such that the structure induced by e(S) is a core; moreover, the core is unique up to isomorphism. We prove that every ...

With more organizations looking for employees who take the initiative and respond creatively to the challenges of the job, empowerment becomes important at both individual and organizational levels. Empowered employees are generally more satisfied with their work, committed and effective at work. According to Kanter's structural empowerment, this study examines the role of access to opportunity...

background this study aimed to examine strategic collaborative quality management (scqm) impact on employee job satisfaction.   methods the study presents a case study over six years following the implementation of the scqm programme in a public hospital. a validated questionnaire was used to measure employees’ job satisfaction. the impact of the intervention was measured by comparing the pre-i...

patients and methods the current methodological study went through three consecutive phases. in the first phase, the concept of sexual satisfaction was defined and analyzed by the hybrid model approach. in the second phase, an item pool was generated by the findings of the first phase. finally, the psychometric properties of the scale were evaluated in the third phase. all data analyses were pe...

Currently, online and offline channel integration as a successful business model is used in many industries, this paper aims at providing an insight into the factors affecting online channel (online shop) and offline channels (entity shop) in the agricultural product industry. Drawn from the extant literature, a consumer online and offline behavior model including trust, system quality, informa...

In this article the authors investigate the extent to which traits reflecting individual differences in personality and affectivity explain or mediate genetic influences on job satisfaction. Using estimates of the dispositional source of job satisfaction according to 2 dispositional frameworks--the five-factor model and positive affectivity-negative affectivity (PA-NA)--and behavioral-genetic e...