Efficient satisfiability modulo theories via delayed theory combination (2005)

Cached

Download Links

by Marco Bozzano , Roberto Bruttomesso , Ro Cimatti , Tommi Junttila , Silvio Ranise , Peter Van Rossum , Roberto Sebastiani
Venue:In Proc. CAV 2005, volume 3576 of LNCS
Citations:34 - 15 self