This paper studies stable and (one-sided) strategy-proof matching rules in manyto-onematchingmarkets with contracts. First, the number of such rules is shown to be at most one. Second, the doctor-optimal stable rule, whenever it exists, is shown to be the unique candidate for a stable and strategy-proof rule. Third, a stable and strategyproof rule, when exists, is shown to be second-best optima...

We propose an adaptive framework for branching rule selection that is based on a set of branching rules. Each branching rule is attached a preference value that is dynamically adapted with respect to conflict analysis. Thus, our approach brings together two essential features of modern SAT algorithms which were traditionally independent from each other. Experimental results show the feasibility...

I introduce an account of when a rule normatively sus tains a practice. My basic proposal is that a rule normatively sustains a practice when the value achieved by following the rule ex plains why agents continue following that rule, thus establishing and sustaining a pattern of activity. I apply this model to practices of belief management and identify a substantive normative connection betwee...