Efficient satisfiability modulo theories via delayed theory combination (2005)

View PDF

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:36 - 12 self