BooM: a decision procedure for boolean matching with abstraction and dynamic learning