A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles.

Sat, 01 Jan 2000 00:00:00 +0100

Kavita Ravi, Roderick Bloem, Fabio Somenzi:
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160