Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking.

Tatiana Rybina, Andrei Voronkov

Browse the full CAV paper archive.