Documents Andrea Calvagna – University of Catania - IT Angelo Gargantini – University of Bergamo – IT...

Slide 1Andrea Calvagna – University of Catania - IT Angelo Gargantini – University of Bergamo – IT TAP 2009 – Zürich – 2nd July 2009 C OMBINING S ATISFIABILITY…