Efficient theory combination via boolean search