What sets SAT apart from other combinatorial optimization problems is that SAT is basically a feasibility problem. Once a variable assignment is found that satisfies all the clauses (see Section 2), the problem is solved. There is thus no guidance from the objective function. Guidance is customarily instead based on the amount of infeasibility, usually by counting the number of unsatisfied clau...

OBJECTIVES To assess the effectiveness of combining sildenafil citrate with a vacuum constriction device (VCD) in men (after radical prostatectomy) unsatisfied with the results of the VCD alone. METHODS A total of 31 patients unsatisfied with the early use of VCD alone after radical prostatectomy (mean follow-up of 4.5 months) were instructed to take 100 mg of sildenafil 1 to 2 hours before V...

We assessed women's satisfaction with the reproductive health services in the population laboratory of Urmia University of Medical Sciences in 2003. A random sample of 600 married women aged 15-49 years completed a satisfaction questionnaire based on Bruce's criteria. Overall 76.2% of women were satisfied and 15.8% were completely satisfied with the total reproductive health service; however 34...

Objective: A high quality of work life (QWL) is essential for organizations to continue to attract and retain employees. In health organizations, such as hospitals, specifically clinical laboratories, QWL has been described as referring to the strength and weakness in total work environment. Health professionals such as clinical laboratories’ employees are exposed to critical influence and pres...

Network operators need to continuously upgrade their infrastructures in order keep customer satisfaction levels high. Crowdsourcing-based approaches are generally adopted, where customers directly asked answer surveys about experience. Since the number of collaborative users is low, network rely on Machine Learning models predict levels/QoE rather than measuring it through surveys. Finally, com...

Objective: The aim of this study was to identify the significant difficulties in access to health care services experienced by patients with physical disabilities. Method: A cross-sectional study at King Abdul Aziz Medical City, Riyadh, Saudi Arabia on 235 persons with physical disability, from 1 January to 30 June 2014. Results: A total of 88% of the people with disability reported having the ...

We design a simple ascending Vickrey auction for the combinatorial allocation problem. We make use of a concept called universal competitive equilibrium (UCE) price to design our auction. Our auction searches for a UCE price, which (along with an efficient allocation) provides enough information to compute the Vickrey payments of buyers. Our auction maintains non-linear and non-anonymous prices...

A primary concern when using local search methods for CNF satisfiability is how to get rid of local minimas. Among many other heuristics, Weighting by Morris (1993) and Selman and Kautz (1993) works overwhelmingly better than others (Cha and Iwama 1995). Weighting increases the weight of each clause which is unsatisfied at a local minima. This paper introduces a more sophisticated weighting str...