The FACES instrument improved patients' recognition of providers' names and roles, as well as patients' perception of inter-provider teamwork. There was a non-significant trend towards improved satisfaction.

Abstract. maxsat is an optimization version of SAT capable of expressing a variety of practical problems. maxsat solvers have been designed to take advantage of many of the successful techniques of SAT solvers. However, the most important technique of modern SAT solvers, clause learning, has not been utilized since learnt clauses cannot be soundly added to a maxsat theory. In this paper we present a new method that allows SAT clause learning to be exploited in a maxsat solver without losing soundness. We present techniques for learning clauses during a branch and bound (B&B) maxsat search, a process that is more complicated than standard clause learning. To exploit these learnt clauses we develop a connection between them and bounds that can be used during B&B. This connection involves formulating a hitting set problem and finding bounds on its optimal solution. We present some new techniques for generating useful hitting set bounds and also show how linear and integer programs can be exploited for this purpose, opening the door for a hybrid approach to solving maxsat.

More approaches to support weight control are needed, especially among racial minorities who shoulder a disproportionate obesity burden. Using an approach influenced by regulatory fit theory, we conducted a 28-day, 4-arm experimental trial with 89 obese adults recruited from urban, predominantly African American churches to ascertain the efficacy of framed text messages to motivate behaviors conducive to weight loss. Participants were assigned to receive message framing that was matched versus mismatched to their motivational orientation. Results were mixed overall; however, matched texts elicited greater motivation to change eating and exercise behavior, suggesting promise in using motivational approaches to tailor messages.