Efficient State Space Pruning in Symbolic Backward Traversal.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full ICCD paper archive.