Although different satisfiability decision procedures can be combined by algorithms such as
those of Nelson-Oppen or Shostak, current tools typically can only support a finite number of …