Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema

Browse the full ATVA paper archive.