Abstract Incremental satisfiability (SAT) solving is an extension of classic SAT that enables a set related problems by identifying and exploiting shared terms. However, using incremental solvers effectively hard since performance sensitive to the input order subterms results must be tracked manually. For analyses generate sets problems, such as those in software product lines, are either not u...

Objective The outcomes of fertility treatments are unpredictable, and levels of depressive symptoms increases in patients during of IUI Waiting Period. This study was conducted with the aim of compression the effects of a Positive Reappraisal Coping Intervention(PRCI) and Problem-Solving Skills Training(PSS) on depression during the waiting period of Intrauterine Insemination (IUI )Treatment Ma...

Background and objectives: The current paper examined the relationship between problem solving ability and quality of life of mothers of Autism Spectrum Disorder (ASD) children in Isfahan. Method & Materials: This is a descriptive correlational study.  Population consisted of mothers of Autism Spectrum Disorder (ASD) children in Isfahan. Sample was selected from one autism center out of thre...