Finding solutions that satisfy a set of constraints, used here to resolve conflicts between inferred events.