Efficient Model Checking by Automated Ordering of Transition Relation Partitions.

Daniel Geist, Ilan Beer

Browse the full CAV paper archive.