Efficient Satisfiability Modulo Theories via Delayed Theory Combination.

Marco Bozzano Roberto Bruttomesso Alessandro Cimatti Tommi A. Junttila Silvio Ranise Peter van Rossum Roberto Sebastiani

Published in: CAV (2005)

Keyphrases