Clause weighting local search methods are widely used for satisfiability testing. A feature of particular importance for such methods is the scheme used to maintain the clause weight distribution relevant to different areas of the search landscape. Existing methods periodically adjust clause weights either multiplicatively or additively. Tie breaking strategies are used whenever a method’s eval...

In this paper we describe how the Stepwise Adaptation of Weights (saw) technique can be applied in genetic programming. The saw-ing mechanism has been originally developed for and successfully used in eas for constraint satisfaction problems. Here we identify the very basic underlying ideas behind saw-ing and point out how it can be used for different types of problems. In particular, saw-ing i...

For many random constraint satisfaction problems such as random satisfiability or random graph or hypergraph coloring, the best current estimates of the threshold for the existence of solutions are based on the first and the second moment method. However, in most cases these techniques do not yield matching upper and lower bounds. Sophisticated but non-rigorous arguments from statistical mechan...

We propose a new approximate method for counting the number of the solutions for constraint satisfaction problem (CSP). The method derives from the partition function based on introducing the free energy and capturing the relationship of probabilities of variables and constraints, which requires the marginal probabilities. It firstly obtains the marginal probabilities using the belief propagati...

the aim of the present study is to investigate the relationship between greek banks’ leadership style and their employee’s satisfaction with their job. leadership is considered to be an integral part of an organization’s structure, policies and strategies, and overall function. therefore, it affects employees’ everyday life, interpersonal relationships, problem-solving strategies and internal f...

background: sexual satisfaction is a vital component in marital satisfaction and life quality. the appraisal has influence sexual satisfaction. the previous study shows that people use methamphetamine and opium for enhancing sexual functioning. objectives: the current study was designed to examine the impact of methamphetamine and opium use in sexual satisfaction and body image. patients and me...

BACKGROUND The recognition of required treatments for cerebral palsy (CP) patients, including orthopedic surgery, differs according to region. This study was performed to identify factors associated with satisfactory changes in physical function after orthopedic surgery. METHODS 358 patients were selected for the questionnaire survey. The following information was collected: gender, primary d...