Efficient theory combination via Boolean search