Incentive Engineering for Boolean Games