Learn More
OBJECTIVE To compare the effectiveness of behavioral family systems therapy (BFST) with that of ego-oriented individual therapy (EOIT) as treatments for adolescents with anorexia nervosa. METHOD Thirty-seven adolescents meeting DSM-III-R criteria for anorexia nervosa were randomly assigned to receive BFST or EOIT, in addition to a common medical and(More)
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search techniques for finding an assignment leading to a largest renamable Horn sub-formula of a given CNF. More precisely, at each step, preference is given to variables such that when assigned(More)