Constraint satisfaction problems are mathematical models of real-world problems. In contrast to randomly generated artificial problems, real-world problems usually have nonrandom structure. Knowledge about that structure, when identified in advance, can make search to find solutions more effective. This paper introduces DrawCSP, a visualization program that can show both the original and the di...

The paper presents a novel modelling technique for system-level fault diagnosis in massive parallel multiprocessors, based on a re-formulation of the problem of syndrome decoding to a constraint satisfaction problem (CSP). The CSP based approach is able to handle detailed and inhomogeneous functional fault models to a similar depth as the Russel-Kime model [18]. Multiple-valued logic is used to...

We discuss and evaluate metrics for difficulty rating of Sudoku puzzles. The correlation coefficient with human performance for our best metric is 0.95. The data on human performance were obtained from three web portals and they comprise thousands of hours of human solving over 2000 problems. We provide a simple computational model of human solving activity and evaluate it over collected data. ...

In many cases, constraint satisfaction problems (CSPs) are dynamic, so that changes can occur that invalidate the current solution. If such changes are temporary and recurrent, it may be possible to nd solutions that are less likely to be lost following a given change. (We call these stable solutions.) In this paper we compare the standard dynamic CSP model that we have used in the past with a ...

job satisfaction is a positive or pleasant emotional state resulting from a person’s appreciation of his/her own job or experience. the study purpose was to model job satisfaction for teachers working in agricultural institutes within mazandaran province of iran. the study used a descriptive-correlative design . the statistical population (including all instructors working for agricultural inst...

today more than ever customer orientation as the most important competitive advantage has gained an increasing importance. this paper aims to examine the relation between perceived value, perceived quality, customer satisfaction, and re-purchase intention in tehran department stores. this is a descriptive survey study. the statistical population of the research is composed of customers of the t...

The purpose of this study is to do a sociological survey of the factors affecting tourism satisfaction. This study is carried out with sample group of 250 foreign tourists in Kish Island, by the survey method and the data is collected by an English questionnaire. The study uses Maslow’s Need Hierarchy Theory, Homans’ Exchange Theory, and Morton’s Instrument and Goal Theory to explain the touris...

Model checking and temporal logics are boolean. The answer to the model checking question does a system satisfy a property? is either true or false, and properties expressed in temporal logics are defined over boolean propositions. While this classic approach is enough to specify and verify boolean temporal properties, it does not allow to reason about quantitative aspects of systems. Some quan...

We describe a computational model for planning phrases like “more than a quarter” and “25.9 per cent” which describe proportions at different levels of precision. The model lays out the key choices in planning a numerical description, using formal definitions of mathematical form (e.g., the distinction between fractions and percentages) and roundness adapted from earlier studies. The task is mo...