Efficient Theory Combination via Boolean Search