Optimization techniques for craig interpolant compaction in unbounded model checking.

Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto

Browse the full DATE paper archive.